abstract Test = Syntax ** { fun Wine, Cheese, Fish, Pizza, Waiter, Customer : N ; Fresh, Warm, Italian, Expensive, Delicious, Boring : A ; Stink : V ; Eat, Love, Talk : V2 ; }