Builtins


{   (?x 3) math:sum ?y.  ?y math:greaterThan ?z } => ...