TODO: ...
order ako object with delivery: range [ delivered | pickup ] address: pizzas: multivalued true range pizza if_needed [] num_pizzas: if_needed var num; num = 0; forall P in pizzas : num = num + quantity of P; num ;;