A = <b>B<c>C [<opt>D].
B = "qwerty"<e>E. 
C = "c"<f>F.
D = "as"<str>String.
F = "X".
P :  Q | R.
Q = .
R : Well | Not .