user@DebLab:~/2000/10/swap$ cat test.n3
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.

1 log:outputString 1.
{?x log:outputString ?x. (1 ?x) math:sum ?y. ?y math:lessThan 11 } => {?y log:outputString ?y }.
user@DebLab:~/2000/10/swap$ python cwm.py test.n3 --think
#Processed by Id: cwm.py,v 1.198 2012-01-30 09:30:20 timbl Exp
        #    using base file:///home/user/2000/10/swap/test.n3
             @prefix : <http://www.w3.org/2000/10/swap/log#> .
    @prefix math: <http://www.w3.org/2000/10/swap/math#> .
    @prefix test: <#> .

     @forAll test:x,
                test:y .

    1     :outputString 1 .

    10     :outputString 10 .

    2     :outputString 2 .

    3     :outputString 3 .

    4     :outputString 4 .

    5     :outputString 5 .

    6     :outputString 6 .

    7     :outputString 7 .

    8     :outputString 8 .

    9     :outputString 9 .
    {

          ( 1
            test:x )
             math:sum test:y .
        test:x     :outputString test:x .
        test:y     math:lessThan 11 .

        }     => {test:y     :outputString test:y .
        } .

user@DebLab:~/2000/10/swap$