concrete TenseFre of Tense = CatFre, TenseX [Ant,AAnter,ASimul] ** 
  TenseRomance with
    (ResRomance = ResFre) ;