A->[B<B>,3]
B->[CD,12]
C->[b,4]
D->[a,4]