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