Assertion list
insulation (primary) → IsA

Results from Ascent++: 1
insulationIsA material 0.57