Assertion list
voidable contract (subgroup of contract ) → IsA
Results from Ascent++: 1
voidable contract → IsA → agreement 0.65