Assertion list
world population (subgroup of population ) → IsA

Results from Ascent++: 1
world populationIsA 300 million 0.25