A -> abC | abcD | abcE