Assertion list
insulation (primary) → HasPrerequisite
Results from Ascent++: 1
insulation → HasPrerequisite → small amount of petroleum 0.27