Slice(Project(BGP( ?p . ?p ?x), {?p, ?x}), 0, 1000)