From 08110bf103844ad547d64c3c86a1e26f2f3ba5f4 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 30 Sep 2008 20:21:33 +0000
Subject: [PATCH] more work with Parametric

---
 next-lib/src/parametric/Parametric.gf | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/next-lib/src/parametric/Parametric.gf b/next-lib/src/parametric/Parametric.gf
index 2b32f0b8a..a786c6a2e 100644
--- a/next-lib/src/parametric/Parametric.gf
+++ b/next-lib/src/parametric/Parametric.gf
@@ -4,15 +4,14 @@ oper
 
 -- primitive
 
-  PS : Type ;
   S  : Type ;
-  Cl : Type ;
   NP : Type ;
   CN : Type ;
   AP : Type ;
 
   VPComp : Type ;
 
+  ITense : Type ;
   CCase : Type ;
   Agr : Type ;
 
@@ -28,8 +27,14 @@ oper
 
   insertVPComp : VPComp -> VP -> VP ;
 
+  insertNP : CCase -> NP -> VP -> VP ;
+
+  iTense : Tense -> ITense ;
+
 -- derived
 
+  Cl : Type = {s : ITense => Polarity => S} ;
+
   VP : Type = {
     verb : V ; 
     comp : VPComp
@@ -46,4 +51,8 @@ oper
     \v,comp,adv,ext,c -> 
       insertVPComp (mkVPComp comp adv ext) (UseV v) ** {c = c} ;
 
+  ComplSlash : VPSlash -> NP -> VP = \vp,np -> insertNP vp.c np vp ;
+
+  UseCl : Tense -> Polarity -> Cl -> S = \t,p,cl -> cl.s ! iTense t ! p ;
+
 }