French Swadesh, some bugs remain

This commit is contained in:
aarne
2005-03-13 21:29:29 +00:00
parent 79fd7902f0
commit 623521c70b
2 changed files with 263 additions and 0 deletions

View File

@@ -0,0 +1,21 @@
resource StoneageResFre = open RulesFre, SyntaxFre, ParadigmsFre in {
oper
PresV : V -> NP -> Phr = \v,s -> PresCl (mkSats s v) ;
PresV2 : V2 -> NP -> NP -> Phr = \v,s,o ->
PresCl (mkSatsObject s v o) ;
PresV3 : V3 -> NP -> NP -> NP -> Phr = \v,s,o,r ->
PresCl (insertObject (mkSatsObject s v o) v.c3 v.s3 r) ;
PresVasV2 : V -> NP -> NP -> Phr = \ v -> PresV2 (dirV2 v) ;
PresCl : Sats -> Phr = \c ->
{s = (UseCl (PosTP TPresent ASimul)
(sats2clause c ** {lock_Cl = <>})
).s ! Ind ;
lock_Phr = <>
} ;
ModPosA : ADeg -> CN -> CN = \a -> ModAP (PositADeg a) ;
ModA : A -> CN -> CN = \a -> ModAP (UseA a) ;
}