Assertion list
operating agreement (subgroup of agreement ) → HasProperty

Results from Ascent++: 1
operating agreementHasProperty enforceable 0.60