summaryrefslogtreecommitdiff
path: root/examples/peacekeeping/PeaceSyntaxI.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-25 16:54:35 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-25 16:54:35 +0000
commite9e80fc389365e24d4300d7d5390c7d833a96c50 (patch)
treef0b58473adaa670bd8fc52ada419d8cad470ee03 /examples/peacekeeping/PeaceSyntaxI.gf
parentb96b36f43de3e2f8b58d5f539daa6f6d47f25870 (diff)
changed names of resource-1.3; added a note on homepage on release
Diffstat (limited to 'examples/peacekeeping/PeaceSyntaxI.gf')
-rw-r--r--examples/peacekeeping/PeaceSyntaxI.gf88
1 files changed, 0 insertions, 88 deletions
diff --git a/examples/peacekeeping/PeaceSyntaxI.gf b/examples/peacekeeping/PeaceSyntaxI.gf
deleted file mode 100644
index 89517d735..000000000
--- a/examples/peacekeeping/PeaceSyntaxI.gf
+++ /dev/null
@@ -1,88 +0,0 @@
-incomplete concrete PeaceSyntaxI of PeaceSyntax =
- PeaceCatI ** open Lang,PeaceRes in {
-
- flags
--- optimize = all_subs ;
- optimize = share ;
- unlexer = text ; lexer = text ;
-
- lincat
- Sent = {s : SForm => Str} ;
- Quest = { s : Str } ;
- MassCN = CN ;
-
- lin
- PhrPos sent = stop (sent.s!SPos) ;
- PhrNeg sent = stop (sent.s!SNeg) ;
- PhrQuest q = quest q.s ;
- PhrImp imp = excl (PhrUtt NoPConj (UttImpSg PPos imp) NoVoc).s;
- PhrImpNeg imp = excl (PhrUtt NoPConj (UttImpSg PNeg imp) NoVoc).s;
-
- PhrYes = stop yes_Phr.s ;
- PhrNo = stop no_Phr.s ;
-
- QuestSent sent = { s = sent.s!SQuest } ;
- QuestIP_V v ip = mkQuest (QuestVP ip (UseV v)) ;
- QuestIP_V2 v ip x = mkQuest (QuestVP ip (ComplV2 v x)) ;
- QuestIP_V2Mass v ip x = mkQuest (QuestVP ip (ComplV2 v (massNP x))) ;
- QuestIP_V3 v ip x y = mkQuest (QuestVP ip (ComplV3 v x y)) ;
- QuestIP_V3Mass v ip x y = mkQuest (QuestVP ip (ComplV3 v (massNP x) y)) ;
- 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)));
-
- SentV v np = mkSent np (UseV v) ;
-
- SentV2 v x y = mkSent x (ComplV2 v y) ;
- SentV2Mass v x y = mkSent x (ComplV2 v (massNP y)) ;
- SentV3 v x y z = mkSent x (ComplV3 v y z) ;
- SentV3Mass v x y z = mkSent x (ComplV3 v (massNP y) z) ;
- SentA a x = mkSent x (UseComp (CompAP (PositA a))) ;
- SentNP a x = mkSent x (UseComp (CompNP a)) ;
-
- SentAdvV v np adv = mkSent np (AdvVP (UseV v) adv) ;
- SentAdvV2 v x y adv = mkSent x (AdvVP (ComplV2 v y) adv) ;
-
- ImpV v = ImpVP (UseV v) ;
- ImpV2 v x = ImpVP (ComplV2 v x) ;
- ImpV2Mass v x = ImpVP (ComplV2 v (massNP x)) ;
- ImpV3 v x y = ImpVP (ComplV3 v x y) ;
- ImpV3Mass v x y = ImpVP (ComplV3 v (massNP x) y) ;
-
- UsePron p = UsePron p ;
- PossPronCNSg p n = DetCN (DetSg (SgQuant (PossPron p)) NoOrd) n;
- PossPronCNPl p n = DetCN (DetPl (PlQuant (PossPron p)) NoNum NoOrd) n;
- DetCN d n = DetCN d n ;
- NumCN k cn = DetCN (DetPl (PlQuant IndefArt) k NoOrd) cn ;
-
- UseN n = UseN n ;
- ModCN a cn = AdjCN (PositA a) cn ;
-
- UseMassN mn = UseN mn ;
- ModMass a cn = AdjCN (PositA a) cn ;
-
- param
- SForm = SPos | SNeg | SQuest ;
-
- oper
- mkSent : NP -> VP -> Sent ;
- mkSent np vp =
- let cl = PredVP np vp
- in {
- s = table {
- SPos => Predef.toStr S (UseCl TPres ASimul PPos cl) ;
- SNeg => Predef.toStr S (UseCl TPres ASimul PNeg cl) ;
- SQuest => Predef.toStr QS (UseQCl TPres ASimul PPos (QuestCl cl))
- } ;
- lock_Sent = <>
- } ;
-
- massNP : CN -> NP = \mcn -> DetCN (DetSg MassDet NoOrd) mcn ;
-
- mkQuest : QCl -> Quest ;
- mkQuest q = { s = Predef.toStr QS (UseQCl TPres ASimul PPos q);
- lock_Quest = <> } ;
-
-}