Sequence Enumeration: Example 2


Natural Language Requirements :



   1) Soda Machine will only produce a soda after 75 cents has been entered. The machine will only take quarters.



   2) When the "Change Return" button is pressed, the available change in the input tray is returned.



   3) When there is no more soda in the machine, the "Sold Out" light will be illuminated.