Project(Minus(BGP( ?v <ex:p> 'z'), Project(Filter((?v = <ex:a>), { }), {?v})),
        {?v})