Assertion list
building code (primary) → HasA
Results from Ascent++: 1
building code → HasA → requirement 0.62