Structured argumentation with Arg2P: formalize problems as theories, solve them, and explore the results in its solver.
