Assertion list for term "float to the top of the tank".

Results from Ascent++: 1
solid CapableOffloat to the top of the tank 0.30