Assertion list
purpose flour (subgroup of flour ) → HasProperty
Results from Ascent++: 1
purpose flour → HasProperty → suitable 0.75