Assertion list for term "assigned to other, emergency-related functions".
Results from Ascent++: 1
member (aspect of guard) → ReceivesAction → assigned to other, emergency-related functions 0.25