Text this: Generic logical encoding for argumentation.