Assertion list
duty (aspect of marshal ) → ReceivesAction
Results from Ascent++: 2
duty → ReceivesAction → performed 0.38
duty → ReceivesAction → discharged by the marshal of th… 0.25