@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix daml: <http://www.daml.org/2000/10/daml-ont#>.
@prefix set:  <http://www.w3.org/2001/04/18/set#>.
@prefix horn: <http://www.w3.org/2001/04/19/horn#>.
@prefix :     <#>.

:r1 horn:premise 
      [ set:enumeration (
         [ 
           horn:subject   [ horn:nameAsVariable :x ];
           horn:predicate [ horn:nameAsConstant rdf:type ];
           horn:object    [ horn:nameAsConstant :man ]
         ]
      ) ];
    horn:conclusion 
      [ 
           horn:subject   [ horn:nameAsVariable :x ];
           horn:predicate [ horn:nameAsConstant rdf:type ];
           horn:object    [ horn:nameAsConstant :mortal ]
      ].

:Aristotle a :man.