@prefix log: <http://www.w3.org/2000/10/swap/log.n3#> .
@prefix foaf:  <http://xmlns.com/foaf/0.1/#> .
@prefix : <#> .
@prefix sbp: <http://infomesh.net/2001/01/sbpterms/#> .
@prefix sp: <http://infomesh.net/2001/01/spterms/#> .
@prefix s: <http://infomesh.net/2001/01/sterms/#> .

<> log:forAll <#x> , <#y> , <#a> , <#b> , <#c> .
# { <#x> = <#y> . [ <#a> <#b> ] <#x> <#c> . }
{ <#x> = <#y> . <#a> <#x> <#c> . }
log:implies
# { [ <#a> <#b> ] <#y> <#c> . } .
{ <#a> <#y> <#c> . } .

s:mbox = sp:mbox .
sp:mbox = sbp:mbox .
sbp:mbox = foaf:mbox .

[ foaf:name "William Loughborough" ] s:mbox <mailto:love26@gorge.net> .
:Sean foaf:knows <mailto:love26@gorge.net> .