no evaluates as true if there are no samples in a sample sequence which a statement is true. For example, given the following case fragment:

                      05 Feb 03    06 Oct 03    07 Nov 03
HDL      [2, 5.5]        7.3*         5.6*         6.1*
LDL                      1.1          0.8          pending
Trig                                  2.2          0.5*

no LDL is high
no HDL is not numeric

none is a synonym for ‘no’. For example, given the following case fragment:

                      05 Feb 03    06 Oct 03    07 Nov 03
ABC      [2, 5.5]        7.3*         5.6*         6.1*
GHI      [1, 3]          2.2           /           0.5*
moderateABC              false        false        false

none of latest 2 GHI values is normal
none of latest 3 ModerateABC values is “true”