Assertion list for term "ball at higher temperature".

Results from Ascent++: 1
fudge CapableOfball at higher temperature 0.25