Assertion list
department (aspect of sheriff ) → ReceivesAction
Results from Ascent++: 1
department → ReceivesAction → prepared 0.25