# Works with cmw -D 'May 6, 2001 8pm' but not now (May 17.)
@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 : <#>.

<> log:forAll :x.
{:x a :man} log:implies {:x a :mortal}.

:Aristotle a :man.