Assertion list
head (aspect of shaver ) → ReceivesAction
Results from Ascent++: 3
head → ReceivesAction → replaced 0.31
head → ReceivesAction → detached 0.25
head → ReceivesAction → separated 0.25