Assertion list
spray foam (subgroup of foam ) → HasProperty
Results from Ascent++: 1
spray foam → HasProperty → more expensive 0.40