Assertion list
refrigerator freezer (subgroup of freezer ) → HasProperty
Results from Ascent++: 1
refrigerator freezer → HasProperty → cold 0.59