24 (272)

(if (order = Big)    [if (order« Big)

then staff > Expert    then equip = Fast

else tnie]    else true]

color Order =• with Big I Smali; color ProductShipped “ Order; color Staff =■ with Expert | Novice; color Eąuipment = with Fast | Slow;

color OrderEntered *» product Order * Staff; color OrderProcessed = OrderEntered;

var order: Order; var staff: Staff; var eąuip: Eąuipment;

(* Orders for products *)

(* Orders shipped *)

(* Staff members *)

(* Pieces of eąuipment *)

(* Orders entered but unprocessed *) (* Orders processed but unshipped *)

(* An order *)

(* A staff member *)

(* A piece of eąuipment *)