GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 19:42:50 -06:00
Code Issues Packages Projects Releases Wiki 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 399d4a60a4
commit 7fe2b6fd04
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 ;