ported (most of) the new structures to PredFin

This commit is contained in:
aarne
2014-02-16 09:50:26 +00:00
parent 3442e32c53
commit bf37be1ac7
4 changed files with 138 additions and 33 deletions

View File

@@ -1,5 +1,5 @@
concrete NDPredFin of Pred =
CatFin [Ant,NP,Utt,IP,IAdv,Conj] **
CatFin [Ant,NP,Utt,IP,IAdv,IComp,Conj,RS,RP] **
NDPredFunctor
with
(PredInterface = PredInstanceFin),