summaryrefslogtreecommitdiff
path: root/grammars/dep/DepEng.gf
diff options
context:
space:
mode:
authoraarne <unknown>2005-09-01 19:18:55 +0000
committeraarne <unknown>2005-09-01 19:18:55 +0000
commit5e190b38fdd3c454a2b7e1ae83d51b37227e27fc (patch)
treee8942bd467e55caa4546b0265de6b79062fcb830 /grammars/dep/DepEng.gf
parent7ad0dda9ed46b9ea80972123eac49d8f068efa7a (diff)
parameters to dep
Diffstat (limited to 'grammars/dep/DepEng.gf')
-rw-r--r--grammars/dep/DepEng.gf48
1 files changed, 38 insertions, 10 deletions
diff --git a/grammars/dep/DepEng.gf b/grammars/dep/DepEng.gf
index 9f95dfba9..c77d58a5c 100644
--- a/grammars/dep/DepEng.gf
+++ b/grammars/dep/DepEng.gf
@@ -1,26 +1,54 @@
-- to test:
-- p -cat=SG -tr "who walks" | pt -transform=typecheck -tr | l
-concrete DepEng of Dep = {
+concrete DepEng of Dep = open ResDep in {
lincat
- NType, VType = {s : Str} ;
+ NType, VType, CType = {s : Str} ;
SG = {s : Str} ;
NG = {s : Str} ;
- VG = {s : Str} ;
- CG = {s : Str} ;
+ VG = {s : Str ; c : VComp} ;
+ CG = {s1,s2 : Str} ;
+ Slash = {s,s2 : Str} ;
lin
NtS, NtQ = {s = []} ;
- Vt1, Vt2, VtS = {s = []} ;
+ CtN, CtV, CtS, CtQ, CtA = {s = []} ;
+ Vt, VtN = \x -> x ;
+ Vt_ = {s = []} ;
- MkSG n v ng vg cg = {s = n.s ++ v.s ++ ng.s ++ vg.s ++ cg.s} ;
+ MkSG n v ng vg cg = {
+ s = n.s ++ v.s ++ ng.s ++ vg.s ++
+ case1 vg.c ++ cg.s1 ++ case2 vg.c ++ cg.s2
+ } ;
- CG1 = {s = []} ;
- CG2 ng = ng ;
+ CG_ = {s1,s2 = []} ;
+ CGN, CGQ = \ng -> {s1 = ng.s ; s2 = []} ;
+ CGS sg = {s1 = "that" ++ sg.s ; s2 = []} ;
+ CGN_ c np co = {s1 = c.s ++ np.s ; s2 = co.s1} ;
+
+ MkSlash3 np v co = {
+ s = np.s ++ v.s ++ case1 v.c ++ co.s1 ;
+ s2 = case2 v.c
+ } ;
+ MkSlash2 c np v co = {
+ s = c.s ++ np.s ++ v.s ++ case2 v.c ++ co.s2 ;
+ s2 = case1 v.c
+ } ;
+ MkSlash1 np v = {
+ s = np.s ++ v.s ;
+ s2 = case1 v.c
+ } ;
+
+ SlashQ qp sl = {s = sl.s2 ++ qp.s ++ sl.s} ;
John = {s = "John"} ;
Who = {s = "who"} ;
- Walk = {s = "walks"} ;
- Love = {s = "loves"} ;
+ Walk = {s = "walks" ; c = VC_} ;
+ Love = {s = "loves" ; c = VC1 C_} ;
+ Know = {s = "knows" ; c = VC_} ;
+ Give = {s = "gives" ; c = VC2 C_ C_to} ;
+ Tell = {s = "tells" ; c = VC_} ;
+ Ask = {s = "asks" ; c = VC_} ;
+
}