Assertion list
new campus (subgroup of campus ) → HasProperty
Results from Ascent++: 2
new campus → HasProperty → complete 0.35
new campus → HasProperty → open 0.25