Assertion list for term "read at same time".
Results from Ascent++: 2
tag → ReceivesAction → read at same time 0.35
address → ReceivesAction → read at same time 0.27