If this action is the only one specified in the consequent of a production rule, then the rule closely resembles a logical
implication, in which the conditions of the rule appear on the left of the implication symbol
and the conclusions are specified on the right of it