Assertion list for term "assigned to a coordinator node".
Results from Ascent++: 1
key (aspect of node) → ReceivesAction → assigned to a coordinator node 0.25