Formal Analysis for Natural Language Processing | lit.salon