natural language → argument graph → AF semantics → FOL (TPTP) - View it on GitHub