Assertion list
horse slaughter (subgroup of slaughter ) → HasProperty
Results from Ascent++: 1
horse slaughter → HasProperty → never humane 0.59