Assertion list
floor (aspect of building ) → AtLocation
Results from Ascent++: 1
floor → AtLocation → direct contact 0.25