abstract PeacePhrases = PeaceCat ** { fun Hello : Phrase ; GoodMorning : Phrase ; GoodEvening : Phrase ; WhatIsNamePron : Pron -> Phrase ; }