Congruences on eventually regular semigroups

Let S be an eventually regular semigroup. The extensively P-partial congruence pairs and P-partial congruence pairs for S are defined. Furthermore, the relationships between the lattice of congruences on S, the lattice of P-partial kernel normal systems for S, the lattice of extensively P-partial kernel normal systems for S and the poset of P-partial congruence pairs for S are explored.