Assertion list
anomaly (primary) → IsA
Results from Ascent++: 1
anomaly → IsA → abnormality 0.16