summaryrefslogtreecommitdiff
path: root/examples/bronzeage/BronzeageI.gf
blob: 23693dc6f7dc0e24ee605904387e0d8c7acb7e79 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
incomplete concrete BronzeageI of Bronzeage = open Lang in {

  flags 
    startcat = Phr ; optimize = all_subs ; --optimize = share_subs ;
    unlexer = text ; lexer = text ;

  lincat
    Sent = {s : SForm => Str} ; MassCN = CN ;

  lin
    PhrPos sent = {s = sent.s ! SPos ++ "."} ;
    PhrNeg sent = {s = sent.s ! SNeg ++ "."} ;
    PhrQuest sent = {s = sent.s ! SQuest ++ "?"} ;
    PhrImp imp = {s = (PhrUtt NoPConj (UttImpSg PPos imp) NoVoc).s ++ "!"} ;
    PhrImpNeg imp = {s = (PhrUtt NoPConj (UttImpSg PNeg imp) NoVoc).s ++ "!"} ;
    
    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) ;
    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) ;

    UsePron p = Lang.UsePron p ;
    DetCN d n = Lang.DetCN d n ;
    NumCN k cn = Lang.DetCN (DetPl (IndefArt) k NoOrd) cn ;

    UseN n = Lang.UseN n ;
    ModCN a cn = AdjCN (PositA a) cn ;

    UseMassN mn = Lang.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 Lang.TPres ASimul PPos cl) ;
          SNeg   => Predef.toStr S  (UseCl Lang.TPres ASimul PNeg cl) ;
          SQuest => Predef.toStr QS (UseQCl Lang.TPres ASimul PPos (QuestCl cl))
          } ;
        lock_Sent = <>
      } ;

    massNP : CN -> NP = \mcn -> Lang.DetCN (DetSg MassDet NoOrd) mcn ;

}