Instantiate use-sites of recursive definitions with parts of the partial answer for validation in numerical abduction.