Assertion list
business requirement (subgroup of requirement ) → HasProperty
Results from Ascent++: 1
business requirement → HasProperty → clear 0.68