Assertion list
thermal radiation (subgroup of radiation ) → IsA

Results from Ascent++: 1
thermal radiationIsA incident 0.25