concrete SentenceSpa of Sentence = CatSpa ** SentenceRomance with
  (ResRomance = ResSpa) ;