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


abstract SimpleAbs = {

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

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

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

}