Assertion list
owner (aspect of slave ) → ReceivesAction
Results from Ascent++: 2
owner → ReceivesAction → put to death 0.40
owner → ReceivesAction → warned 0.40