concrete PredEng of Pred = 
  CatEng [Ant,NP,Utt,IP,IAdv,Conj] ** 
    PredFunctor with 
      (PredInterface = PredInstanceEng) ;