Assertion list
thermos (primary) → CapableOf
Results from Ascent++: 1
thermos → CapableOf → keep drink 0.62