Assertion list
subcontract (primary) → HasProperty
Results from Ascent++: 3
subcontract → HasProperty → void 0.38
subcontract → HasProperty → unenforceable 0.36
subcontract → HasProperty → null 0.35