R : [A] [B] [C] :: _R ;

A : [D] [E] :: _A;