concrete AdjectiveSpa of Adjective = CatSpa ** AdjectiveRomance with
  (ResRomance = ResSpa) ;