Assertion list
business contract (subgroup of contract ) → HasProperty
Results from Ascent++: 1
business contract → HasProperty → enforceable 0.25