@prefix dc: <http://purl.org/dc/elements/1.1/>.
<> dc:description "$Id: listsAx.n3,v 1.2 2001/06/28 18:28:00 connolly Exp $".

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix dpo:  <http://www.daml.org/2001/03/daml+oil#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2001/03swell/lists#>.
@prefix v: <#>.

this log:forAll v:C1, v:x, v:L, v:C2.

{ v:L dpo:first v:x } log:implies { v:L :member v:x }.
{ v:L dpo:rest [ :member v:x ] } log:implies { v:L :member v:x }.

#@@comment this out to speed up infoset figure
#<> log:forAll v:x, v:C.
#{ v:x :member [ a [ :listOf v:C ] ]} log:implies { v:x a v:C }. #iff rule?@@