Assertion list for term "run under the floor slab".

Results from Ascent++: 1
pipe CapableOfrun under the floor slab 0.35