In our setup, we want P to be a connected undirected graph, and not a directed tree.
10): If t i is co-temporal with t j and t j is co-temporal with t k , then usually t i and t k are either cotemporal or denote the same event.