Assertion list
real estate contract (subgroup of contract ) → HasProperty
Results from Ascent++: 2
real estate contract → HasProperty → enforceable 0.62
real estate contract → HasProperty → valid 0.35