An implementation and DSL for the Carneades argumentation model.