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