1. A computer-implemented system for inferring structured variables, comprising: a priority function that utilizes a probable approximate underestimate; and, a classification function which assigns a score to a plurality of hypothetical structured variables, and through inferencing, searches for a best scoring hypothesis where the search is guided by the priority function.