Formal Analysis of Natural Languages