Given a test source sentence with its parse tree, we can according to this strategy choose only the rules whose source syntax matches the test source tree.
this restriction will rule out many potentially correct rules.