diff options
Diffstat (limited to 'next-lib/src/parametric')
| -rw-r--r-- | next-lib/src/parametric/Parametric.gf | 13 |
1 files 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 ; + } |