LARA This is an old revision of the document! Overview Relations English and First-Order Logic Tools Demo First-Order Logic Syntax (Revision) Undecidability of First_order Logic