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

abstract Shopping = Foods, Clothes ;