Assertion list for term "different ceiling height".

Results from Ascent++: 1
floor HasAdifferent ceiling height 0.25