FOLIO: Natural Language Reasoning with First-Order Logic

Open in new window