examples/messages/Messages.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
32
33
34
35
36
37
38
39
40
41
42
43
44
45

abstract Messages = 
  Words - [IMale, IFemale, YouFamMale, YouFamFemale, YouPolMale, YouPolFemale],
  Greetings ** {

flags startcat = Message ;

cat
  Message ;
  Heading ;
  Body ;
  Ending ;
  Statement ;
  Recipient ;
  Sender ;
  Title ;
  Role ;

fun
  Msg : Heading -> Body -> Ending -> Message ;
  
  HHello : Recipient -> Heading ;
  HDear  : Recipient -> Heading ;
  
  BOne  : Statement -> Body ;
  BMore : Statement -> Body -> Body ;

  ERegards : Sender -> Ending ;

  SSentence : Sentence -> Statement ;
  SQuestion : Question -> Statement ;
  SGreeting : Greeting -> Statement ;

  RName  : Name -> Recipient ;
  RTitle : Title -> Name -> Recipient ;
  SName  : Name -> Sender ;

  TMr  : Title ;
  TMs  : Title ;

  RI   : Role ;   -- generic: Gender and Politeness from context
  RYou : Role ;

  PRole : Role -> Person ;

}