Ascent++
Search
Assertion list
for term "different ceiling height".
Results from
Ascent++
:
1
floor
→
HasA
→
different ceiling height
0.25