gf-book/examples/chapter6/Verbs.gf


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

abstract Verbs = {

cat
  S ; NP ; Subcat ; V Subcat ; Args Subcat ;

fun
  cIntr : Subcat ;
  cTr   : Subcat ;
  cS    : Subcat ;

  aIntr : NP -> Args cIntr ;
  aTr   : NP -> NP -> Args cTr ;
  aS    : NP -> S  -> Args cS ;

  pred  : (s : Subcat) -> V s -> Args s -> S ;

  john, mary : NP ;
  walk : V cIntr ;
  love : V cTr ;
  know : V cS ;

}