Assertion list
broken finger (subgroup of finger ) → IsA
Results from Ascent++: 1
broken finger → IsA → break 0.68