Assertion list for term "fit in building".

Results from Ascent++: 1
elevator CapableOffit in building 0.32