Discreteness criterions of isometric subgroups for quaternionic hyperbolic space

In this paper, we give analogue of Jorgensen's inequality for nonelementary groups of isometries of complex hyperbolic 2-space generated by two elements, one of which is either loxodromic or boundary elliptic for the same group of isometries of quaternionic hyperbolic 2-space. And we give a sufficient condition for a nonelementary subgroup of isometries of quaternionic hyperbolic 2-space generated by two elements one of which is parabolic not to be discrete.