diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-04-20 16:43:13 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-04-20 16:43:13 +0000 |
| commit | f9cdc3c732b982943736dab1daec2eed42a4b79a (patch) | |
| tree | cfe51f22be9afbbb8b15821baa2afb7e1e89ac76 /examples/peacekeeping/PeaceKeepI.gf | |
| parent | af52e49d59d6e764805a1409d715e22667792310 (diff) | |
Added QuestIAdv_NP.
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))); |