Conclusion: Therefore, A should (should not) be brought about.
argument from verbal classification Individual premise: a has a particular property F. Classification premise: For all x, if x has property F, then x can be classified as having property G. Conclusion: a has property G. arguments in araucaria are annotated in a XMLbased format called "aML" (argument Markup Language).