Theoretical study of lepton events in the atmospheric neutrino experiments at SuperK