Assertion list
thermal insulation (subgroup of insulation ) → IsA

Results from Ascent++: 1
thermal insulationIsA important factor 0.59