Assertion list
main campus (subgroup of campus ) → IsA
Results from Ascent++: 2
main campus → IsA → home 0.68
main campus → IsA → located 15 miles 0.25