Mok-Siu-Yeung type formulas on contact locally sub-symmetric spaces

We derive Mok-Siu-Yeung type formulas for horizontal maps from compact contact locally sub-symmetric spaces into strictly pseudoconvex CR manifolds and we obtain some rigidity theorems for the horizontal pseudoharmonic maps.