[ihinsdale]

Yeah, I think that's a great idea. What I'm imagining along those lines is an interface for marking up a source text--basically, for easily turning a highlighted portion of the text into a proposition.

I'm currently working on giving every proposition its own page that contains links to all the arguments where the proposition is used as a premise and all the arguments where the proposition is used as a conclusion. Once that's in place, I can work on the functionality for actually highlighting source text and creating propositions from it. The data model behind Sequiturs already features a notion of 'source text', in the form of a Prompt, which consists of a url or some actual text.