Toward Computational Argumentation with Reasoning and Knowledge