abstract Computers = Comments ** {
  fun
    Computer, HardDisk : Kind ;
    Efficient, Slow : Quality ;
}