Visual Denotations for Recognizing Textual
A Tableau Prover for Natural Logic and Language