“…Consider the log {⟨C, D, E, F, G, A, B, H, L⟩, ⟨C, D , E, F, G, H, L, A, B⟩, ⟨B, A, C, D, E, F, G, H, L⟩, ⟨V, W, T, S, H, L, A, B⟩, ⟨V, W, T, S, A, B, H, L⟩}, which is a more elaborated example of the one shown in the Introduction. In this log, the first three traces contain the same event types and are part of the same clusters according to [32], [28,29] and [16]. If we used a global oracle like the α, this would regard A and B as concurrent, since both interleavings are present in the first three traces.…”