Existential clause

An existential clause is a clause that refers to the existence or presence of something, such as "There is a God" and "There are boys in the yard". The use of such clauses can be considered analogous to existential quantification in predicate logic, which is often expressed with the phrase "There exist(s)...".

Different languages have different ways of forming and using existential clauses. For details on the English forms, see English grammar: There as pronoun.