gf-book/examples/chapter3/Discont.gf


1
2
3
4
5
6
7
8
9
10
11

abstract Discont = {
  cat 
    S ; Cl ; NP ; VP ; AP ; 
  fun 
    DeclCl  : Cl -> S ;
    QuestCl : Cl -> S ;
    PredVP  : NP -> VP -> Cl ; 
    CompAP  : AP -> VP ;
    John : NP ;
    Old : AP ;
}