Assertion list
reporting requirement (subgroup of requirement ) → AtLocation
Results from Ascent++: 1
reporting requirement → AtLocation → section 0.25