@prefix dc: .
<> dc:description "$Id: listsAx.n3,v 1.2 2001/06/28 18:28:00 connolly Exp $".
@prefix rdfs: .
@prefix dpo: .
@prefix log: .
@prefix : .
@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?@@