Grammar Composition System

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

a := *top*.

b := *top*.

d := *top*.

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

t5 := t0 & d.

t6 := t1 & t5.

t7 := a & t2.

t8 := t5 & t6 & t7 & t0 & t1.