msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

added quantifier ambiguity in the NLG example

Browse Source
This commit is contained in:
kr.angelov
2011-08-30 15:23:59 +00:00
parent c70df9200c
commit a29a4408a8
2 changed files with 25 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
examples/nlg/NLG.gf
View File

@@ -12,11 +12,13 @@ cat
NP ((Ind -> Prop) -> Prop);
AP (Ind -> Prop);
VP (Ind -> Prop);
VPSlash (Ind -> Ind -> Prop);
V (Ind -> Prop);
V2 (Ind -> Ind -> Prop);
Comp (Ind -> Prop);
Pol (Prop -> Prop);
Cl Prop;
ClSlash (Ind -> Prop);
S Prop;
Utt;
@@ -32,10 +34,21 @@ fun
UseV : ({v} : Ind -> Prop) ->
V v -> VP v ;
ComplV2 : ({v2} : Ind -> Ind -> Prop) ->
({np} : (Ind -> Prop) -> Prop) ->
V2 v2 -> NP np -> VP (\i -> np (v2 i)) ;
ComplSlash : ({v2} : Ind -> Ind -> Prop) ->
({np} : (Ind -> Prop) -> Prop) ->
VPSlash v2 -> NP np -> VP (\i -> np (v2 i)) ;
SlashV2a : ({v2} : Ind -> Ind -> Prop) ->
V2 v2 -> VPSlash v2 ;
SlashVP : ({np} : (Ind -> Prop) -> Prop) ->
({v2} : Ind -> Ind -> Prop) ->
NP np -> VPSlash v2 -> ClSlash (\x -> np (v2 x));
ComplClSlash : ({sl} : Ind -> Prop) ->
({np} : (Ind -> Prop) -> Prop) ->
ClSlash sl -> NP np -> Cl (np sl);
UseComp : ({c} : Ind -> Prop) ->
Comp c -> VP c ;

10
examples/nlg/NLGEng.gf
View File

@@ -10,11 +10,13 @@ lincat
NP = Eng.NP;
AP = Eng.AP;
VP = Eng.VP;
VPSlash = Eng.VPSlash;
V2 = Eng.V2;
V = Eng.V;
Comp=Eng.Comp;
Pol= Eng.Pol;
Cl = Eng.Cl;
ClSlash = Eng.ClSlash;
S = Eng.S;
Utt= Eng.Utt;
Conj = Eng.Conj;
@@ -25,7 +27,13 @@ lin
DetCN _ _ = Eng.DetCN;
UseN _ = Eng.UseN;
UsePN _ = Eng.UsePN;
ComplV2 _ _ v2 np = Eng.ComplSlash (Eng.SlashV2a v2) np;
SlashV2a _ = Eng.SlashV2a;
ComplSlash _ _ = Eng.ComplSlash;
SlashVP _ _ = Eng.SlashVP;
ComplClSlash _ _ cl np = lin Cl {
s = \\t,a,p,o => cl.s ! t ! a ! p ! o ++ cl.c2 ++ np.s ! NCase Nom
} ;
UseComp _ = Eng.UseComp ;
CompAP _ = Eng.CompAP ;
CompNP _ = Eng.CompNP ;