argumentation (argument + -ation; action_result)
Inference based on reasoning from given propositions