Assertion list
head (aspect of deer ) → ReceivesAction
Results from Ascent++: 3
head → ReceivesAction → removed 0.68
head → ReceivesAction → submitted for testing 0.56
head → ReceivesAction → severed 0.16