Jackson examples: which mood?
(a) The lift never goes from the nth to the n+2nd floor without passing the n+1st floor
(b) The lift never passes a floor for which the floor selection light inside the life is illuminated without stooped at that floor
(c) If the motor polarity is set to up and the motor switch setting is changed from off to on, the lift starts to rise without 250 msecs.
(d) If the upwards arrow indicator at a floor is not illuminated when the lift stops at the floor, it will not leave in the upwards direction.
(e) The doors are never open at a floor unless the lift is stationary at that floor.
(f) When the lift arrives at a floor, the lift-present sensor at the floor is set to on.
(g) If an up call button at a floor is pressed when the corresponding light is off, the light comes on and remains on until the call is serviced by the lift stopping at that floor and leaving in the upwards direction