Aユニット
A unit rule is a rule of the form