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