Assertion list for term "cooled in ice".

Results from Ascent++: 1
solution ReceivesActioncooled in ice 0.36