Assertion list
ceiling (primary) → IsA
Results from Ascent++: 2
ceiling → IsA → floor 0.46
ceiling → IsA → overhead interior surface 0.40