Assertion list
leg (aspect of cockroach ) → ReceivesAction
Results from Ascent++: 2
leg → ReceivesAction → covered in spine 0.59
leg → ReceivesAction → removed 0.16