Assertion list
jurisdiction (aspect of sheriff ) → ReceivesAction

Results from Ascent++: 2
jurisdictionReceivesAction exercised 0.68
jurisdictionReceivesAction limited 0.53