diff options
Diffstat (limited to 'examples/peacekeeping/PeaceKeepI.gf')
| -rw-r--r-- | examples/peacekeeping/PeaceKeepI.gf | 1 |
1 files changed, 1 insertions, 0 deletions
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))); |