@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 log: <http://www.w3.org/2000/10/swap/log.n3#> .

<> log:forAll :p , :x , :y , :z .

{ :p daml:oneOf (:x :y :z) }
log:implies
{ :p a rdfs:Class . :x a :p . :y a :p . :z a :p } .