Assertion list
cooked spinach (subgroup of spinach ) → HasProperty
Results from Ascent++: 1
cooked spinach → HasProperty → more compact 0.59