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

few more fixes in the NLG grammar

Browse Source
This commit is contained in:
kr.angelov
2011-08-30 17:29:13 +00:00
parent 109c55e2fb
commit f7f6953050
3 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
examples/nlg/NLG.gf
View File

@@ -58,7 +58,7 @@ fun
CompNP : ({np} : (Ind -> Prop) -> Prop) ->
NP np -> Comp (\x -> np (\y -> eq x y)) ;
UsePN : (i : Ind) -> PN i -> NP (\f -> f i) ;
UsePN : ({i} : Ind) -> PN i -> NP (\f -> f i) ;
DetCN : ({det} : (Ind -> Prop) -> (Ind -> Prop) -> Prop) ->
({cn} : Ind -> Prop) ->
@@ -110,6 +110,6 @@ fun
({p} : Prop -> Prop) ->
Pol p -> Cl cl -> S (p cl);
UttS : ({s} : Prop) -> S s -> Utt;
UttS : (s : Prop) -> S s -> Utt;
}