# $Id: russell.axiom.n3,v 1.10 2002/08/02 16:38:14 jderoo Exp $

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <russell#>.

this log:forAll :x .
{ :x a :R } log:implies { { :x a :x } a log:Falsehood } .
{ { :x a :x } a log:Falsehood } log:implies { :x a :R } .