@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix ont:  <http://www.daml.org/2000/12/daml+oil#> .
@prefix : <#>.

{{:x a :man} log:implies {:x a :mortal}} 
  log:forAll :x;
  a log:Truth.       # I don't know why Tim/cwm wants this

:Aristotle a :man.