@prefix : <#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix string: <http://www.w3.org/2000/10/swap/string#> .

# this log:forAll :x , :y .

# { :x :y [ log:notEqualTo "sbp" ] } log:implies
#    { :x :objectNotEqualTo "sbp" } .

# { :x :y [ log:uri [ log:notEqualTo "sbp" ] ] } log:implies
#    { :x :objectNotEqualTo "sbp" } .

# { :x :y [ log:uri [ string:notEqualTo "sbp" ] ] } log:implies
#    { :x :objectNotEqualTo "sbp" } .

# :a :b "sbp" . :p :q "xyz" .

this log:forAll :x , :y , :z .

{ :x rdfs:label :y , :z . :y log:notEqualTo :z } log:implies
   { :x :labels :MoreThanTwo } .

:blargh rdfs:label "blargh" .
:blargh1 rdfs:label "blargh" .
:blargh1 rdfs:label "blargh1" .