axiom:*
*->Ad<A>
A->BDEFJHIb
B->[bgch,5]
C->[babgcf,4]
D->[Cbabgch,8]
E->[babgh,4]
F->babgdb<I>ebabhbabe
G->[babfbabe,4]
H->[Gbabhbabe,8]
I->[bhbabe,4]
J->[HIbdb<I>ebabhbabe,3]