The event-event relation set R contains the following (assuming a labeled edge (u, v, r)): 1.
pREV denotes that u is an event immediately before v. the edges (u, v, pREV) and (v, w, pREV), preclude the edge (u, w, pREV).