Assertion list
thin skin (subgroup of skin ) → ReceivesAction
Results from Ascent++: 1
thin skin → ReceivesAction → removed 0.16