Assertion list
case (primary) → IsA
Results from Ascent++: 3
case → IsA → fact 0.59
case → IsA → problem 0.52
case → IsA → person 0.49