Title: Formal Analysis for Natural Language Processing