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