Argumentation Understood as Program Synthesis (S)