1
0
forked from GitHub/gf-rgl

Maltese: all functions implemented (though not necessarily correct)

Oh, and glad Valborg!
This commit is contained in:
john
2013-04-30 14:23:17 +00:00
parent 699ca30dff
commit e2deffbb04
18 changed files with 5514 additions and 4547 deletions

View File

@@ -6,7 +6,35 @@
concrete RelativeMlt of Relative = CatMlt ** open ResMlt in {
-- RCl
-- RP
flags optimize=all_subs ;
lin
-- Cl -> RCl
RelCl cl = {
s = \\t,a,p,_ => "li" ++ cl.s ! t ! a ! p ! ODir ;
} ;
-- RP -> VP -> RCl
RelVP rp vp = {
s = \\t,ant,p,agr =>
let
cl = mkClause rp.s agr vp
in
cl.s ! t ! ant ! p ! ODir ;
} ;
-- RP -> ClSlash -> RCl
RelSlash rp slash = {
s = \\t,a,p,agr =>
rp.s ++ slash.s ! t ! a ! p ! ODir ;
} ;
-- Prep -> NP -> RP -> RP
FunRP prep np rp = {
s = np.s ! NPAcc ++ (prep.s ! bool2definiteness np.isDefn) ++ rp.s ;
} ;
-- RP
IdRP = { s = "li" } ;
}