tokens: " Kyŏksul " ( " Kyŏk " ‚ Stoßen , Stechen , Schlagen , Angreifen ‘ ; " Sul " ‚ Kunst , Technik , Kämpfen mit Überlegung ‘ , meist " Gjogsul " geschrieben , gelegentlich auch " Gyoksul " ) ist eine Kampfkunst aus Nordkorea , die dort vor allem innerhalb der Koreanischen Volksarmee praktiziert wird .