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