Assertion list
curly wig (subgroup of wig ) → ReceivesAction
Results from Ascent++: 1
curly wig → ReceivesAction → washed 0.59