@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

e:quod e:erat e:demonstrandum.