From f9cdc3c732b982943736dab1daec2eed42a4b79a Mon Sep 17 00:00:00 2001 From: bringert Date: Thu, 20 Apr 2006 16:43:13 +0000 Subject: Added QuestIAdv_NP. --- examples/peacekeeping/PeaceKeepI.gf | 1 + 1 file changed, 1 insertion(+) (limited to 'examples/peacekeeping/PeaceKeepI.gf') diff --git a/examples/peacekeeping/PeaceKeepI.gf b/examples/peacekeeping/PeaceKeepI.gf index 81459a68f..a57cd03ee 100644 --- a/examples/peacekeeping/PeaceKeepI.gf +++ b/examples/peacekeeping/PeaceKeepI.gf @@ -27,6 +27,7 @@ incomplete concrete PeaceKeepI of PeaceKeep = open Lang in { QuestIP_V3Mass v ip x y = mkQuest (QuestVP ip (ComplV3 v (massNP x) y)) ; QuestIP_A : A -> IP -> Phr ; QuestIP_A a ip = mkQuest (QuestVP ip (UseComp (CompAP (PositA a)))); + QuestIAdv_NP x ia = mkQuest (QuestIComp (CompIAdv ia) x); QuestIAdv_V v x ia = mkQuest (QuestIAdv ia (PredVP x (UseV v))); QuestIAdv_V2 v x y ia = mkQuest (QuestIAdv ia (PredVP x (ComplV2 v y))); -- cgit v1.2.3