Project(Filter(exists((join, (select, (table, unit), ((?y, ))), (select, (table, unit), ((?x, ))))) , Extend(Extend({ }, ?x, ), ?y, )), {?x})