Assertion list
overpopulation (primary) → IsA
Results from Ascent++: 1
overpopulation → IsA → problem 0.59