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