Assertion list
infected nail (subgroup of nail ) → ReceivesAction
Results from Ascent++: 1
infected nail → ReceivesAction → removed 0.68