grammars/testConversions/SimpleAbs.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


abstract SimpleAbs = {

cat 
S; VP; NP; V; N; D; P; PP; 

fun 
cyclic  : S -> S;
mkS     : NP -> VP -> S;
mkVP    : V -> NP -> VP;
mkNP1   : D -> N -> NP;
mkNP2   : N -> NP;
mkNP3   : NP -> PP -> NP;
mkPP    : P -> NP -> PP;

robin   : NP;
dog     : N;
child   : N;
love    : V;
hate    : V;
one     : D;
all     : D;
inside  : P;

}