summaryrefslogtreecommitdiff
path: root/examples/stoneage/StoneageResEng.gf
diff options
context:
space:
mode:
authorbringert <unknown>2005-03-08 16:38:12 +0000
committerbringert <unknown>2005-03-08 16:38:12 +0000
commiteefced4abe9b45dbd284c639d8b8943977ba2107 (patch)
tree98f1f826ed6258aca85db121188341e792554cc8 /examples/stoneage/StoneageResEng.gf
parenta1aa9c01e6065874e5a67f908334cdbc3bf53ea1 (diff)
Use Phr for S linearization.
Diffstat (limited to 'examples/stoneage/StoneageResEng.gf')
-rw-r--r--examples/stoneage/StoneageResEng.gf9
1 files changed, 5 insertions, 4 deletions
diff --git a/examples/stoneage/StoneageResEng.gf b/examples/stoneage/StoneageResEng.gf
index 7ea912902..5f747eae8 100644
--- a/examples/stoneage/StoneageResEng.gf
+++ b/examples/stoneage/StoneageResEng.gf
@@ -1,11 +1,12 @@
resource StoneageResEng = open ResourceEng, ParadigmsEng in {
oper
- PresV : V -> NP -> S = \v,s -> PresCl (SPredV s v) ;
- PresV2 : V2 -> NP -> NP -> S = \v,s,o -> PresCl (SPredV2 s v o) ;
- PresVasV2 : V -> NP -> NP -> S = \ v -> PresV2 (dirV2 v) ;
+ PresV : V -> NP -> Phr = \v,s -> PresCl (SPredV s v) ;
+ PresV2 : V2 -> NP -> NP -> Phr = \v,s,o -> PresCl (SPredV2 s v o) ;
+ PresVasV2 : V -> NP -> NP -> Phr = \ v -> PresV2 (dirV2 v) ;
- PresCl : Cl -> S = UseCl (PosTP TPresent ASimul) ;
+ PresCl : Cl -> Phr =
+ \c -> { s = (UseCl (PosTP TPresent ASimul) c).s } ** {lock_Phr = <>} ;
ModPosA : ADeg -> CN -> CN = \a -> ModAP (PositADeg a) ;
ModA : A -> CN -> CN = \a -> ModAP (UseA a) ;