Support nested lergic queries. Variable bindings will go in, but they cannot escape.