Assertion list
arm (aspect of gibbon ) → ReceivesAction

Results from Ascent++: 1
armReceivesAction raised for balance 0.68