gf-3.2: book/examples/chapter4/SmallShopping.gf

abstract SmallShopping = 
  Foods - [Wine], 
  Clothes [Kind,Quality,Shirt,Elegant] ;