Grammar Composition System

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

a := *top*.

b := *top*.

c := a.

d := a.

e := b.

f := b.

g := c & d.

h := c & d.

j := e & f.

k := e & f.