Formalization of Natural Languages by P. Kümmel