@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .

@keywords prefix, of, is, has, a, keywords, forAll, forSome .

### Poor UROP doesn't know what is true. 
### He figures that in the rare cases that timbl
## agrees with DanC
## It must be true!

forAll S, P, O .

forAll S2, P2, O2 .

{ <timbl.n3>!log:semantics
   log:supports {S P O} .
  <danc.n3>!log:semantics
   log:supports {S P O} .
} => {S P O} .