Project(Filter(! exists((filter, (table, unit), (?v = <ex:a>))) ,
               BGP( ?v <ex:p> 'z')),
        {?v})