Project(Filter((?x != ?s) && (?v = ?z), BGP( ?s ?z . ?x ?v)), {?s, ?v, ?x, ?z})