Assertion list
finish (aspect of bottle ) → ReceivesAction
Results from Ascent++: 1
finish → ReceivesAction → balanced 0.26