Project(Filter(exists((select, (filter, (table, unit), (?v = <ex:a>)), ())) ,
               Extend({ }, ?v, <ex:a>)),
        {?v})