diff options
Diffstat (limited to 'examples/peacekeeping/PeaceSyntax.gf')
| -rw-r--r-- | examples/peacekeeping/PeaceSyntax.gf | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/examples/peacekeeping/PeaceSyntax.gf b/examples/peacekeeping/PeaceSyntax.gf index 00da55ad2..21b852d63 100644 --- a/examples/peacekeeping/PeaceSyntax.gf +++ b/examples/peacekeeping/PeaceSyntax.gf @@ -6,14 +6,14 @@ abstract PeaceSyntax = PeaceCat ** { MassCN ; fun - PhrPos : Sent -> Phr ; - PhrNeg : Sent -> Phr ; - PhrQuest : Quest -> Phr ; - PhrImp : Imp -> Phr ; - PhrImpNeg : Imp -> Phr ; - - PhrYes : Phr ; - PhrNo : Phr ; + PhrPos : Sent -> Phrase ; + PhrNeg : Sent -> Phrase ; + PhrQuest : Quest -> Phrase ; + PhrImp : Imp -> Phrase ; + PhrImpNeg : Imp -> Phrase ; + + PhrYes : Phrase ; + PhrNo : Phrase ; QuestSent : Sent -> Quest ; |