Assertion list for term "become warm, red".

Results from Ascent++: 1
joint CapableOfbecome warm, red 0.33