Software by SimonBuckinghamShum to capture the logical structure of argument and scientific claims.