ExistsNP in Extra for Cat,Eng,Fre,Ita,Spa

This commit is contained in:
aarne
2013-05-22 14:25:15 +00:00
parent 007df17175
commit 6f3a81617b
9 changed files with 29 additions and 5 deletions

View File

@@ -1,5 +1,5 @@
concrete ExtraSpa of ExtraSpaAbs = ExtraRomanceSpa **
open CommonRomance, PhonoSpa, MorphoSpa, ParadigmsSpa, ParamX, ResSpa,
open CommonRomance, PhonoSpa, MorphoSpa, ParadigmsSpa, ParamX, ResSpa, BeschSpa,
Prelude in {
lin
@@ -66,4 +66,7 @@ concrete ExtraSpa of ExtraSpaAbs = ExtraRomanceSpa **
ext = vps.ext
} ;
ExistsNP np =
mkClause [] True False np.a (insertComplement (\\_ => (np.s ! Nom).ton) (predV (mkV "existir"))) ;
}