Assertion list
arm (aspect of octopus ) → ReceivesAction
Results from Ascent++: 1
arm → ReceivesAction → covered with thousands of sucke… 0.27