abstract Phrasebook = 
  Greetings,
  Words
  ** {

flags startcat = Phrase ;

fun
  PGreeting : Greeting -> Phrase ;

}