The recursive inference procedure determines that string w is in the language of the variable A, A being the starting variable.