Assertion list
binding contract (subgroup of contract ) → HasProperty

Results from Ascent++: 1
binding contractHasProperty enforceable 0.28