Updated argumentation encodings