concrete TenseCat of Tense = CatCat, TenseX [Ant,Pol,AAnter,ASimul,PNeg,PPos] ** 
  TenseRomance with
    (ResRomance = ResCat) ;