The entire source code and history is published at http://www.gitorious.org/worldview and this includes the sample worldviews:

http://www.gitorious.org/worldview/worldview/blobs/master/topics/axiom_of_choice.wvm

includes lines such as:

(CHOICE <=> TRICHOTOMY)

(CHOICE => !MEASURE)

(CHOICE => UNION)

which are not the inferential chains, just the basic building blocks. The inferential chains themselves are generated on the fly. No, it doesn't by itself lead to a good visualization of the argument structures, though it should be pretty easy to write some code to run these through graphviz's dot (or any other) graph visualizer. You do have to figure out how to represent harder implications, such as "(DETERMIN & FREEWILL => !NOFTL)", but a box per conjunction/disjunction isn't too hard.

The intent is to have a shared model, that allows a conversation to turn away from "doesn't - does so", and toward "this spot is where we disagree".

Yes, this doesn't quite do that yet, but it seems to be a reasonable starting point.