A simple drinks dispensing machine can provide tea or co�ee, both with or without milk and with

or without sugar:

Products ::= Tea j Co�ee j Milk j Sugar

__Name_______________
| declarations
|_______
| predicates
|_____________________

Community content is available under CC-BY-SA unless otherwise noted.