Assertion list
bailment (primary) → ReceivesAction
Results from Ascent++: 2
bailment → ReceivesAction → implied 0.45
bailment → ReceivesAction → made 0.36