Assertion list
broken toe (subgroup of toe ) → HasProperty
Results from Ascent++: 1
broken toe → HasProperty → painful 0.51