diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2011-08-30 17:29:13 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2011-08-30 17:29:13 +0000 |
| commit | 2001788b0242a0c945655c503262ccf104bcc3bd (patch) | |
| tree | 73f196a046b70d58aeb2d1dc4d0ddb814e06cacb /examples | |
| parent | fe2fad8f8d5bc2c97e3ae4b19d52975c6e2dfe6f (diff) | |
few more fixes in the NLG grammar
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/nlg/LogicCnc.gf (renamed from examples/nlg/LogicEng.gf) | 2 | ||||
| -rw-r--r-- | examples/nlg/NLG.gf | 4 | ||||
| -rw-r--r-- | examples/nlg/NLGEng.gf | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/examples/nlg/LogicEng.gf b/examples/nlg/LogicCnc.gf index b1ff655eb..b9a2013c9 100644 --- a/examples/nlg/LogicEng.gf +++ b/examples/nlg/LogicCnc.gf @@ -1,5 +1,5 @@ --# -path=present -concrete LogicEng of Logic = open (Eng=GrammarEng), ParadigmsEng, ResEng in { +concrete LogicCnc of Logic = { lincat Ind = {s : Str}; diff --git a/examples/nlg/NLG.gf b/examples/nlg/NLG.gf index 594911a68..d3afc73cf 100644 --- a/examples/nlg/NLG.gf +++ b/examples/nlg/NLG.gf @@ -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; } diff --git a/examples/nlg/NLGEng.gf b/examples/nlg/NLGEng.gf index f1bd64881..731e05a3d 100644 --- a/examples/nlg/NLGEng.gf +++ b/examples/nlg/NLGEng.gf @@ -1,5 +1,5 @@ --# -path=present -concrete NLGEng of NLG = LogicEng ** open (Eng=GrammarEng), ParadigmsEng, ResEng in { +concrete NLGEng of NLG = LogicCnc ** open (Eng=GrammarEng), ParadigmsEng, ResEng in { lincat Det = Eng.Det; |