adding an mkQCl case for CompIP

This commit is contained in:
aarne
2009-11-20 10:56:28 +00:00
parent 597ab8c0b5
commit 16c7420410

View File

@@ -1349,6 +1349,8 @@ incomplete resource Constructors = open Grammar in {
= \p,ip -> QuestIAdv (PrepIP p ip) ; --# notminimal
mkQCl : IAdv -> NP -> QCl -- where is John --# notminimal
= \a -> QuestIComp (CompIAdv a) ; --# notminimal
mkQCl : IP -> NP -> QCl -- who is John --# notminimal
= \a -> QuestIComp (CompIP a) ; --# notminimal
mkQCl : IP -> QCl -- which houses are there --# notminimal
= ExistIP --# notminimal