Assertion list
university college (subgroup of college ) → HasA
Results from Ascent++: 1
university college → HasA → the distinction 0.16