Assertion list
fridge (primary) → IsA
Results from Ascent++: 1
fridge → IsA → the best place 0.27