Ascent++
Search
Assertion list
upper floor
(
subgroup
of
floor
)
→ HasProperty
Results from
Ascent++
:
1
upper floor
→
HasProperty
→
accessible
0.25