Assertion list
voidable contract (subgroup of contract ) → HasProperty
Results from Ascent++: 2
voidable contract → HasProperty → valid 0.68
voidable contract → HasProperty → enforceable 0.59