gf-book/examples/chapter9/AnaphoraIta.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

concrete AnaphoraIta of Anaphora = TestSemanticsIta - [she_NP] ** 
  open ResIta, Prelude, Formal in {

lincat
  Proof = {} ;

lin
  IfS A B = {s = "se" ++ A.s ++ B.s} ;

  AnaNP cn _ _ = case cn.g of {
    Masc => pronNP "lui" "lo" "gli" Masc  Sg Per3 ;
    Fem  => pronNP "lei" "la" "le" Fem  Sg Per3
    } ;

  pe _ _ = constant [] ; ----

}