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

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


(1 2) a :ListOfTwoNumbers.

{ ?x a :ListOfTwoNumbers.
  ?x math:sum ?y } => { ?x :SUMSTO ?y }.

#ends