Input : GndConst(a, g, v): takes an atom a, grounding g for a, and variable v, and returns the constant that substitutes v in g Input: gnd limit: limit on the number of sort Const(v i ) on scores, descending 6: end for 7: return For all v i ∈ V , take the Cartesianproduct of the sorted Const(v i ) and return the top gnd limit results trivially satisfied (I(r) = 1) since the truth value of the antecedent is zero.
its distance to satisfaction is also zero, and it can be omitted from the ground network without impacting the result of MPE inference.