Free and discrete subgroups generated by two quaternionic Heisenberg translations

Let $A$ and $B$ be two Heisenberg translations of ${\rm Sp}(2,1)$ with distinct fixed points. We provide sufficient conditions that guarantee the subgroup $\langle A, B \rangle$ is discrete and free by using Klein's combination theorem.