Grammar Composition System

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

d := *top*.

f := *top*.

b := d & f.

e := f.

c := d & e.

a := b & c.