Assertion list
homemade mayonnaise (subgroup of mayonnaise ) → HasProperty
Results from Ascent++: 1
homemade mayonnaise → HasProperty → easy 0.59