gf-3.2: book/examples/chapter4/Computers.gf
abstract Computers = Comments ** {
fun
Computer, HardDisk : Kind ;
Efficient, Slow : Quality ;
}
abstract Computers = Comments ** {
fun
Computer, HardDisk : Kind ;
Efficient, Slow : Quality ;
}