Grammar Composition System

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

a := *top*.

b := *top*.

d := a & b.

c := b.

e := a & c.

f := a & c.