Assertion list for term "remain in the glass".

Results from Ascent++: 1
liquid CapableOfremain in the glass 0.46