Assertion list
nail infection (subgroup of infection ) → HasProperty
Results from Ascent++: 1
nail infection → HasProperty → painful 0.46