# make

CWM = ~finin/bin/cwm

.SUFFIXES: .n3 

.n3.
	python $(SWAP)/cwm.py $< --think --filter="$<" > $@
.n3.proof:
	python $(SWAP)/cwm.py $< --think --filter="$<" --base=foo --why > $@
.proof.pml:
	python $(SWAP)/cwm.py $< http://www.w3.org/2000/10/swap/reason.n3 cwm-pml.n3 --think --filter="cwm-pml.n3" --rdf > $@
	
all : example1.pml example2.pml example1.result example2.result example1.proof example2.proof

clean : 
	rm *.proof *.result *.pml

#ends