started experiment on parametrizing more of RG definition

1 files changed, 49 insertions, 0 deletions

diff --git a/next-lib/src/parametric/Parametric.gf b/next-lib/src/parametric/Parametric.gf
new file mode 100644
index 000000000..2b32f0b8a
--- /dev/null
+++ b/next-lib/src/parametric/Parametric.gf
@@ -0,0 +1,49 @@
+interface Parametric = {
+
+oper
+
+-- primitive
+
+  PS : Type ;
+  S  : Type ;
+  Cl : Type ;
+  NP : Type ;
+  CN : Type ;
+  AP : Type ;
+
+  VPComp : Type ;
+
+  CCase : Type ;
+  Agr : Type ;
+
+  V  : Type ;
+  N  : Type ;
+  A  : Type ;
+
+  agrNP : NP -> Agr ;
+
+  PredVP : NP -> VP -> Cl ;
+
+  mkVPComp : (Agr => Str) -> Str -> Str -> VPComp ;
+
+  insertVPComp : VPComp -> VP -> VP ;
+
+-- derived
+
+  VP : Type = {
+    verb : V ; 
+    comp : VPComp
+    } ;
+
+  VPSlash : Type = VP ** {c : CComp} ;
+
+  UseV : V -> VP = \v -> {
+    verb = v ;
+    comp = mkVPComp (\\_ => []) [] [] 
+    } ;
+
+  SlashV : V -> (Agr => Str) -> Str -> Str -> CCase -> VPSlash = 
+    \v,comp,adv,ext,c -> 
+      insertVPComp (mkVPComp comp adv ext) (UseV v) ** {c = c} ;
+
+}