Adding more robust existential query support