Project(BGP( ?s ?p1 . ?s ?p2 ), {?s})