Potential-based bounded-cost search and Anytime Non-Parametric A*
A Confidence Model for Syntactically-Motivated Entailment Proofs