More precisely, if a number of different reduction rules share function symbols on the left-hand side, overlap can occur.
Several reduction rules with common function symbols may result in overlapping processes.