Translating natural language to first-order logic for logical fallacy detectionarxiv.org258 pointsColinWrighta year ago