Ahandle is a substring within a right-sentential form that matches the right-hand side of
 a production rule and is the next candidate for reduction.