gf-3.2: book/examples/chapter4/Clothes.gf
abstract Clothes = Comments ** {
fun
Shirt, Jacket : Kind ;
Comfortable, Elegant : Quality ;
}
abstract Clothes = Comments ** {
fun
Shirt, Jacket : Kind ;
Comfortable, Elegant : Quality ;
}