Assertion list
office building (subgroup of building ) → HasPrerequisite
Results from Ascent++: 2
office building → HasPrerequisite → elevator 0.25
office building → HasPrerequisite → lots of small rooms 0.25