Assertion list for term "differ at same temperature".

Results from Ascent++: 1
composition CapableOfdiffer at same temperature 0.37