Text this: Theory and Applications of Formal Argumentation