Assertion list
head (aspect of beetle ) → ReceivesAction
Results from Ascent++: 3
head → ReceivesAction → concealed 0.58
head → ReceivesAction → bent 0.34
head → ReceivesAction → removed 0.25