https://9dok.net/document/z3d26l69-automated-defeasible-reasoning-controlled-natural-language-argumentation.html