Grammar Composition System

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

a := *top*.

b := *top*.

c := a & b.

d := a & c.

e := a & d.

f := a & b.

g := b & f.

h := b & g.