@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix  rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix  rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .

@forAll :X .

owl:sameAs a owl:SymmetricProperty .
{:a [] :b} a log:Formula .

{:X a :Man} => {:X a :Mortal} .

[ a :Man ] .