Assertion list
building (aspect of campus ) → HasA
Results from Ascent++: 1
building → HasA → self-shading facades 0.25