Assertion list for term "remain in the dewar".

Results from Ascent++: 1
helium CapableOfremain in the dewar 0.29