Argument diagramming in logic, law and artificial intelligence | Synapse