Assertion list
overpopulation (primary) → HasPrerequisite

Results from Ascent++: 1
overpopulationHasPrerequisite whole set of solutions 0.25