Index of /2000/10/swap/test/reason

	Name	Last modified	Size	Description
	Parent Directory		-
	animal-goal.n3	28-May-2006 16:35	315
	animals-proof.n3	05-Jun-2006 18:20	84K
	animals-proof.pml	05-Jun-2006 18:20	173K
	animals.n3	28-May-2006 16:35	4.7K
	conf_reg_ex.n3	22-Sep-2006 03:01	378
	danc.n3	07-Jul-2006 03:30	354
	detailed.tests	13-Dec-2007 15:38	7.1K
	double.n3	13-Feb-2007 21:35	185
	e.n3	16-Jan-2003 14:23	20
	eric-a.n3	07-Jan-2003 20:59	114
	eric-b.n3	07-Jan-2003 20:59	256
	eric-out.n3	25-Jun-2004 01:27	781
	eric-out.proof	07-Jan-2003 21:02	3.7K
	f9.n3	24-Oct-2005 16:58	138
	gmpbnode.n3	08-Sep-2006 04:30	143
	iw.n3	24-Oct-2005 16:58	21K
	joe_profile.n3	22-Sep-2006 03:01	131
	judy-proof.n3	02-Nov-2005 00:06	287K
	longChain.n3	18-Nov-2007 03:00	37K
	Makefile	28-May-2006 16:39	1.5K
	math-test-bit.n3	22-Aug-2005 21:12	1.1K
	math-test-works-with-why.n3	24-Oct-2005 16:58	3.9K
	math-test.n3	24-Oct-2005 16:58	3.9K
	paw-proof.n3	21-Dec-2005 19:41	311K
	pfcheck1.n3	21-Dec-2005 19:55	690
	pml-example.n3	24-Oct-2005 16:58	1.1K
	pml-example.rdf	24-Oct-2005 16:58	1.1K
	poor-urop.n3	06-Aug-2007 16:13	458
	reason-report.n3	07-Jun-2006 15:07	3.4K
	rename-loop.n3	07-Jul-2006 03:30	198
	single_gen.n3	06-Aug-2007 16:13	66
	soc-goal.n3	06-Nov-2006 23:10	66
	soc-rdfs.n3	06-Nov-2006 23:05	174
	socrates.n3	27-Jun-2007 17:58	119
	t1.checked	22-Aug-2005 21:12	156
	t1.n3	05-Dec-2002 04:10	13
	t1.pml	09-Mar-2006 16:51	6.5K
	t1.proof	22-Aug-2005 21:12	700
	t2.checked	22-Aug-2005 21:12	309
	t2.n3	07-Dec-2002 01:12	37
	t2.proof	22-Aug-2005 21:12	931
	t3.checked	22-Aug-2005 21:12	277
	t3.n3	30-Dec-2002 15:00	67
	t3.proof	22-Aug-2005 21:12	2.1K
	t4.checked	22-Aug-2005 21:12	718
	t4.n3	23-Aug-2005 21:05	62
	t4.pml	23-Aug-2005 21:14	2.9K
	t4.proof	23-Aug-2005 21:05	2.6K
	t5-a.proof	08-Dec-2002 05:27	1.9K
	t5.checked	22-Aug-2005 21:12	400
	t5.n3	30-Dec-2002 15:00	133
	t5.proof	22-Aug-2005 21:12	3.1K
	t8.n3	08-Apr-2003 16:12	96
	t9.n3	02-Nov-2005 00:06	102
	tests.n3	16-Jan-2003 14:23	1.7K
	timbl.n3	07-Jul-2006 03:30	336
	to-pml.n3	18-Feb-2006 04:04	3.1K
	witch-goal.n3	03-Jan-2007 03:03	79
	witch-pf-pml.rdf	02-Feb-2007 19:25	10K
	witch-pf.n3	03-Jan-2007 03:03	8.9K
	witch-pf.txt	03-Jan-2007 03:03	1.8K
	witch.n3	03-Jan-2007 03:03	679

# The 
#
# http://iw.stanford.edu/2004/07/iw.owl
#
# Command as a challenge for getting --why working for TAMI:
#
cwm --rdf http://dig.csail.mit.edu/2005/09/rein/examples/judy-req.rdf --n3 http://dig.csail.mit.edu/2005/09/rein/engine.n3 --mode=h --think --filter="http://dig.csail.mit.edu/2005/09/rein/filter.n3"  --why