Assertion list
chest freezer (subgroup of freezer ) → HasProperty
Results from Ascent++: 1
chest freezer → HasProperty → more efficient 0.59