Assertion list for term "partitioned over all three servers".
Results from Ascent++: 1
resource → ReceivesAction → partitioned over all three servers 0.32