axiom:*
*->Ad<A>
A->BDE
B->[bad,5]
C->abacabaca
D->[Ed,3]
E->Cb<C>