transfer/examples/reflexive/Abstract.gf


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

abstract Abstract = {

cat 
  S ; NP ; V2 ; Conj ;

fun
  PredV2 : V2 -> NP -> NP -> S ;
  ReflV2 : V2 -> NP -> S ;
  ConjNP : Conj -> NP -> NP -> NP ;

  And, Or : Conj ;
  John, Mary, Bill : NP ;
  See, Whip : V2 ;

}