Assertion list
floor (aspect of building ) → IsA

Results from Ascent++: 1
floorIsA wall 0.36