toward cwm/N3/reason proof of httpRange-14 argument

At the IRW workshop, I presented an analysis of the httpRange-14 
discussion using N3.
  http://www.w3.org/2006/04/irw65/urisym

I'm trying to get the corresponding proof in the pfreport format I 
recently developed,
so I can show it to colleagues at U.T. Austin
	http://www.w3.org/2006/09dc-aus/aus-aa

The proof doesn't check. Here's how I invoked cwm/check:

pbjam:~/w3ccvs/WWW/2006/04/irw65 connolly$ python $swap/cwm.py 
argument.n3 --think --why >,argpf.n3
pbjam:~/w3ccvs/WWW/2006/04/irw65 connolly$ PYTHONPATH=$swap/.. 
python2.4 /Users/connolly/w3ccvs/WWW/2000/10/swap/check.py ,argpf.n3 
 >,argpf.txt 2>,argpfdiag

I think it doesn't work with the HEAD version of cwm; I reduced that 
problem to a
test case and reported a bug.
(	Date: 	September 11, 2006 12:15:59 AM CDT
	To: 	  public-cwm-bugs@w3.org
)

Now I'm working from the paw-tagged version of cwm.

Results are attached.

Hmm... now that I changed check.py to print the report before
checking the proof (v 1.55.2.3 2006/09/11 14:38:48)
I seem to be able to get a proof report;
I just need to implement support for log:supports in report() in 
check.py.
And I should maybe print the bindings on GMP...

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/