Assertion list
thermal expansion (subgroup of expansion ) → HasProperty
Results from Ascent++: 1
thermal expansion → HasProperty → higher 0.77