Assertion list
reporting requirement (subgroup of requirement ) → CapableOf
Results from Ascent++: 2
reporting requirement → CapableOf → go into effect 0.31
reporting requirement → CapableOf → increase the cost 0.31