experiment with dep resource

1 files changed, 25 insertions, 0 deletions

diff --git a/grammars/dep/Dep.gf b/grammars/dep/Dep.gf
new file mode 100644
index 000000000..246680cad
--- /dev/null
+++ b/grammars/dep/Dep.gf
@@ -0,0 +1,25 @@
+abstract Dep = {
+  cat
+    NType ;
+    VType ;
+    SG NType ;
+    NG NType ;
+    VG VType ;
+    CG VType ;
+
+
+  fun
+    NtS, NtQ : NType ;
+    Vt1, Vt2, VtS : VType ;
+
+    MkSG : (n : NType) -> (v : VType) -> NG n -> VG v -> CG v -> SG n ;
+  
+    CG1 : CG Vt1 ;    
+    CG2 : NG NtS -> CG Vt2 ;
+
+    John : NG NtS ;
+    Who  : NG NtQ ;
+    
+    Walk : VG Vt1 ;
+    Love : VG Vt2 ;
+}