ExpLAINBetween the Lines –Knowledge-based Analysis ofArgumentation in a FormalArgumentation Inference System Contact Mail: explainmailman.uni-mannheim.de