Grammar Composition System

/src/grammars/test-grm/glbtypes-inv-7.tdl

c := *top*.

d := *top*.

e := c & d.

f := c & d.

g := c & d.

h := c & d.