concrete NDPredFin of NDPred = 
  CatFin [Ant,NP,Utt,IP,IAdv,IComp,Conj,Subj,RS,RP] ** 
    NDPredFunctor 
     with 
      (PredInterface = PredInstanceFin),
      (Pred = PredFin) ;