Assertion list for term "float in cavity".

Results from Ascent++: 1
circuit board CapableOffloat in cavity 0.30