Assertion list
service (aspect of battalion ) → ReceivesAction
Results from Ascent++: 2
service → ReceivesAction → required 0.68
service → ReceivesAction → held 0.55