Assertion list for term "lift the slab".

Results from Ascent++: 1
foam CapableOflift the slab 0.35