concrete PhraseSpa of Phrase = CatSpa ** PhraseRomance with
  (ResRomance = ResSpa) ;