diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-09-30 20:21:33 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-09-30 20:21:33 +0000 |
| commit | 08110bf103844ad547d64c3c86a1e26f2f3ba5f4 (patch) | |
| tree | 006ebe16a01896542afe8344c7050226929c44e8 /next-lib/src | |
| parent | e9d67dbd2dc569bb74e4685e72ac1f0b00396270 (diff) | |
more work with Parametric
Diffstat (limited to 'next-lib/src')
| -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 ; + } |