This requires an external module that evaluates the execution accuracy of the candidate parses.
second, another version of the base features are constructed in which nonterminal symbols include action arguments but omit all interleaving verification steps.