Assertion list
surveillance (primary) → IsA
Results from Ascent++: 1
surveillance → IsA → work product 0.28