Assertion list
occupant (aspect of building ) → AtLocation
Results from Ascent++: 1
occupant → AtLocation → the building 0.52