Given a semantic category M a , we first pick an MR production m a that has the form , which gives us the function symbol p α as well as the child semantic categories M b and M c .
it is shown to be less effective on ROBOCUP corpus.