An implementation of the Argument Understanding System (AUS): Integrating the proposition analyser with the clue interpreter, and the evidence oracle ... of Waterloo. Faculty of Mathematics)