@prefix : <#> .

<> log:forAll :x , :y , :z .
{ :y daml:disjointFrom :z 
     :x a :y .
     :x a :z . }
log:implies { :x a :schemaInconsistency; 
        rdfs:comment "Belongs to two disjoint classes" } .


{  :p a daml:TransitiveProperty . }
 log:implies
{ { { :x :p :y . :y :p :z } log:implies { :x :p :z } } 
  a log:Truth; log:forAll :x , :y , :z } .

# <> log:forAll <#myUri> , <#x> .
# 
# { <#myUri> <#hasPrefix> <#x> . }
# log:implies
# { @prefix :x <#myUri> . } .
# 
# 
# 
#