argir

Python ★ 7 updated 7mo ago

natural language → argument graph → AF semantics → FOL (TPTP)

No plain-English explanation yet — one is being written right now. Check back in a minute.