Grammar Composition System

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

a := *top*.

b := *top*.

d := *top*.

t0 := a & b.
t1 := a & b & d.

t5 := t0 & d.