Assertion list
radiant heat (subgroup of heat ) → HasProperty

Results from Ascent++: 1
radiant heatHasProperty more efficient 0.41