Syntax error on line 24: Syntax Error after keyword property.
  property only_delivers_with_coin : []((state == soda || state == beer) -> (state == select));
