On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation