Assertion list
upper floor (subgroup of floor ) → IsA
Results from Ascent++: 2
upper floor → IsA → home 0.68
upper floor → IsA → a design room 0.25