testsuite/canonical/grammars/PhrasebookBul.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

--# -path=.:present

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 ;

}