Assertion list
butcher (primary) → HasProperty
Results from Ascent++: 2
butcher → HasProperty → good 0.47
butcher → HasProperty → friendly 0.27