# $Id: first.n3,v 1.1 2003/08/14 00:00:23 timbl Exp $
#

@prefix rdf:      <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix list:      <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

@prefix rdfs:     <http://www.w3.org/2000/01/rdf-schema#> .
@prefix log:      <http://www.w3.org/2000/10/swap/log#> .
@prefix string:   <http://www.w3.org/2000/10/swap/string#> .
@prefix daml:     <http://www.daml.org/2001/03/daml+oil#> .
@prefix foaf:     <http://xmlns.com/foaf/0.1/> .
@prefix rule:     <http://id.ninebynine.org/wip/2002/rule/> .
@prefix :         <#> .



( 1 2 ) a :TestCase.

{ ?x a :TestCase; rdf:first ?f } =>  { ?f a :FirstBit }.

{ ?x a :TestCase; rdf:rest ?f } =>  { ?f a :RestBit }.

{ 1 a  :FirstBit.  (2) a :RestBit} => { :THIS_TEST a :SUCCESS }.