# $Id: russell.lemma.n3,v 1.14 2002/12/08 16:27:24 jderoo Exp $

# PxButton | test | java Euler russell.axiom russell.lemma |

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

#:R a :R .
{ :R a :R } a log:Falsehood .