sentences:  Let "X" be a set of predicates on formula_10.The language FO["X"] is defined as the closure by conjunction (formula_11), negation (formula_12) and universal quantification (formula_13) over elements of the structures.Existential quantification (formula_14) and disjunction (formula_15) are also often used but those can be defined by means of the first three symbols.