Is a quantification of sleep time in humans where average sleep time was less than five hours. The trait is EFO_0004807 (short sleep).