More precisely, if a number of different reduction rules share function symbols on the left-hand side, overlap can occur.
If several distinct reduction rules have function symbols on their left-hand sides, there can be overlaps.