FSLI: An Interpretable Formal Semantic System for One-Dimensional Ordering Inference

Maha Alkhairy, Vincent Homer, Brendan O'Connor

We develop a system for solving logical deduction one-dimensional ordering problems by transforming natural language premises and candidate statements into first-order logic. Build…