# $Id: russell.lemma.n3,v 1.2 2001/10/01 00:12:36 amdus Exp $

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

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