examples/phrasebook/SentencesI.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

incomplete concrete SentencesI of Sentences = Numeral ** 
  open
    DiffPhrasebook, 
    Syntax 
  in {
  lincat
    Sentence = Utt ; 
    Item = NP ;
    Kind = CN ;
    Quality = AP ;
    Object = NP ;
  lin
    Is item quality = mkUtt (mkCl item quality) ;
    IsNot item quality = mkUtt (mkS negativePol (mkCl item quality)) ;
    WhetherIs item quality = mkUtt (mkQCl (mkCl item quality)) ;
    IWant obj = mkUtt (mkCl (mkNP i_Pron) want_V2 obj) ;
    ILike item = mkUtt (mkCl (mkNP i_Pron) like_V2 item) ;
    DoYouHave kind = 
      mkUtt (mkQCl (mkCl (mkNP youPol_Pron) have_V2 (mkNP kind))) ;
    ObjItem i = i ;
    ObjNumber n k = mkNP <n : Numeral> k ;

    This kind = mkNP this_Quant kind ;
    That kind = mkNP that_Quant kind ;
    These kind = mkNP this_Quant plNum kind ;
    Those kind = mkNP that_Quant plNum kind ;
    SuchKind quality kind = mkCN quality kind ;
    Very quality = mkAP very_AdA quality ;
}