concrete AdjectiveFre of Adjective = CatFre ** AdjectiveRomance with (ResRomance = ResFre) ;