forked from GitHub/gf-rgl
adding an mkQCl case for CompIP
This commit is contained in:
@@ -1349,6 +1349,8 @@ incomplete resource Constructors = open Grammar in {
|
|||||||
= \p,ip -> QuestIAdv (PrepIP p ip) ; --# notminimal
|
= \p,ip -> QuestIAdv (PrepIP p ip) ; --# notminimal
|
||||||
mkQCl : IAdv -> NP -> QCl -- where is John --# notminimal
|
mkQCl : IAdv -> NP -> QCl -- where is John --# notminimal
|
||||||
= \a -> QuestIComp (CompIAdv a) ; --# 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
|
mkQCl : IP -> QCl -- which houses are there --# notminimal
|
||||||
= ExistIP --# notminimal
|
= ExistIP --# notminimal
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user