(@ select-from users .report +-
    (# select s (@ x .res +-
                    (attach res <- x)
                ) .report
    -
        (# skip t 10 .s -
            (# take a 100 .t -
                (# from users (@ x +-
                                  [> 20] x.age
                              ) .a
                )
            )
        )
    )
+
    {A|L : user} users 
    {A|L : string} report
)
