Assertion list
research university (subgroup of university ) → IsA
Results from Ascent++: 1
research university → IsA → the envy of the world 0.25