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

<> log:forAll <#x> , <#y> , <#a> , <#b> .
{ <#x> a sch:URIScheme; sch:schemeName <#y> . }
log:implies
{ :WWW sch:listOfURISchemes <#y> . } .