Assertion list
sensitivity (primary) → IsA
Results from Ascent++: 1
sensitivity → IsA → property 0.30