# Author: sbp
#  $Id: bug1.n3,v 1.1 2003/07/03 21:04:49 timbl Exp $

@prefix : <#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix math: <http://www.w3.org/2000/10/swap/math#> .
@prefix string: <http://www.w3.org/2000/10/swap/string#> .


# Some simple rules

# Getting the amount of members in a list

{ ?x a :TestList; math:memberCount ?y } log:implies { ?x :memberCount ?y } .
("x" "y" "z") a :TestList .