Assertion list
upper floor (subgroup of floor ) → HasA

Results from Ascent++: 2
upper floorHasA 2 bedrooms 0.60
upper floorHasA bathroom 0.25