1
0
forked from GitHub/gf-rgl

(Ara) Add ExistIP

This commit is contained in:
Inari Listenmaa
2019-01-26 18:34:52 +01:00
parent 9fd88554ee
commit ee092b0042
2 changed files with 4 additions and 3 deletions

View File

@@ -31,7 +31,10 @@ concrete IdiomAra of Idiom = CatAra ** open
ExistNP np =
predVP (emptyNP ** {s=\\c=>"هُنَاكَ"}) (UseComp (CompNP np)) ; -- IL
-- ExistIP : IP -> QCl ; -- which houses are there
-- : IP -> QCl ; -- which houses are there
ExistIP ip = let cl = ExistNP (ip2np ip False) in {
s = \\t,p,q => cl.s ! t ! p ! Nominal -- IL guessed
} ;
-- 7/12/2012 generalizations of these