Assertion list
refrigerator (primary) → HasPrerequisite
Results from Ascent++: 2
refrigerator → HasPrerequisite → coil 0.58
refrigerator → HasPrerequisite → their gaskets 0.37