grammars/dep/DepEng.gf


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

-- to test:
-- p -cat=SG -tr "who walks" | pt -transform=typecheck -tr | l 

concrete DepEng of Dep = {
  lincat
    NType, VType = {s : Str} ;
    SG = {s : Str} ;
    NG = {s : Str} ;
    VG = {s : Str} ;
    CG = {s : Str} ;

  lin
    NtS, NtQ = {s = []} ;
    Vt1, Vt2, VtS = {s = []} ;

    MkSG n v ng vg cg = {s = n.s ++ v.s ++ ng.s ++ vg.s ++ cg.s} ;
  
    CG1 = {s = []} ;
    CG2 ng = ng ;

    John = {s = "John"} ;
    Who  = {s = "who"} ;
    
    Walk = {s = "walks"} ;
    Love = {s = "loves"} ;
}