summaryrefslogtreecommitdiff
path: root/testsuite/canonical/grammars/PhrasebookBul.gf
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/canonical/grammars/PhrasebookBul.gf')
-rw-r--r--testsuite/canonical/grammars/PhrasebookBul.gf28
1 files changed, 25 insertions, 3 deletions
diff --git a/testsuite/canonical/grammars/PhrasebookBul.gf b/testsuite/canonical/grammars/PhrasebookBul.gf
index bbc092963..347d69297 100644
--- a/testsuite/canonical/grammars/PhrasebookBul.gf
+++ b/testsuite/canonical/grammars/PhrasebookBul.gf
@@ -1,9 +1,31 @@
--# -path=.:present
-concrete PhrasebookBul of Phrasebook =
- GreetingsBul,
- WordsBul ** open
+concrete PhrasebookBul of Phrasebook =
+ open
SyntaxBul,
+ (R = ResBul),
+ ParadigmsBul,
Prelude in {
+ lincat
+ PlaceKind = CNPlace ;
+
+ oper
+ CNPlace : Type = {name : CN ; at : Prep ; to : Prep; isPl : Bool} ;
+
+ mkPlace : N -> Prep -> {name : CN ; at : Prep ; to : Prep; isPl : Bool} = \n,p ->
+ mkCNPlace (mkCN n) p to_Prep ;
+
+ mkCNPlace : CN -> Prep -> Prep -> CNPlace = \p,i,t -> {
+ name = p ;
+ at = i ;
+ to = t ;
+ isPl = False
+ } ;
+
+ na_Prep = mkPrep "на" R.Acc ;
+
+ lin
+ Airport = mkPlace (mkN066 "летище") na_Prep ;
+
}