Assertion list
ground floor (subgroup of floor ) → HasProperty
Results from Ascent++: 4
ground floor → HasProperty → accessible 0.57
ground floor → HasProperty → empty 0.25
ground floor → HasProperty → suitable 0.20
ground floor → HasProperty → complete 0.16