  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.
