examples/phrasebook/Phrasebook.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

abstract Phrasebook = 
  Greetings,
  Food
  ** {

flags startcat = Phrase ;

cat 
  Phrase ;
  Politeness ; Gender ; -- abstract parameters
fun
  PNumeral  : Numeral -> Phrase ;
  PSentence : Sentence -> Phrase ;

  PGreeting : Greeting -> Phrase ;
----  PGreeting : Politeness -> Gender -> Gender -> Greeting -> Phrase ;
              -- politeness level, speaker, hearer

  Polite, Familiar : Politeness ;
  Male, Female : Gender ;

}