Use Phr for S linearization.

This commit is contained in:
bringert
2005-03-08 16:38:12 +00:00
parent a1aa9c01e6
commit eefced4abe
5 changed files with 14 additions and 12 deletions

View File

@@ -6,7 +6,7 @@ cat
CN ;
fun
-- Actions with an object
Drink : NP -> NP -> S ;

View File

@@ -4,7 +4,7 @@ concrete StoneageEng of Stoneage
StoneageResEng in {
lincat
S = S ;
S = Phr ;
NP = NP ;
N = N;
CN = CN ;

View File

@@ -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) ;

View File

@@ -1,11 +1,12 @@
resource StoneageResSwe = open ResourceSwe, ParadigmsSwe in {
resource StoneageResSwe = open ResourceSwe, SyntaxSwe, ParadigmsSwe 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 -> defaultSentence (UseCl (PosTP TPresent ASimul) c) ** {lock_Phr = <>} ;
ModPosA : ADeg -> CN -> CN = \a -> ModAP (PositADeg a) ;
ModA : A -> CN -> CN = \a -> ModAP (UseA a) ;

View File

@@ -3,7 +3,7 @@ concrete StoneageSwe of Stoneage
= open SyntaxSwe, ResourceSwe, SwadeshLexSwe, StoneageResSwe in {
lincat
S = S ;
S = Phr ;
NP = NP ;
N = N;
CN = CN ;