Project(Filter(exists((bindings, ((123)), (?y))) , { }), *)