concrete AdjectiveCat of Adjective = CatCat ** AdjectiveRomance with
  (ResRomance = ResCat) ;