The composite model is constructed to describe inelastic high-energy scattering of muons and taus in standard rock. It involves photonuclear interactions at low $Q^2$ as well as moderate $Q^2$ processes and the deep inelastic scattering (DIS). In the DIS region the neutral current contribution is taken into consideration. Approximation formulas both for the muons and tau energy loss in standard rock are presented for wide energy range.

We derive generic formulas for the polarization density matrix of leptons produced in neutrino and antineutrino collisions and briefly consider some important particular cases. Next we employ the general formalism in order to include the final lepton mass and spin into the popular model by Rein and Sehgal for single pion neutrinoproduction.