Assertion list
reporting requirement (subgroup of requirement ) → HasProperty
Results from Ascent++: 3
reporting requirement → HasProperty → applicable 0.52
reporting requirement → HasProperty → consistent 0.25
reporting requirement → HasProperty → mandatory 0.25