I have been reading Logical Fundations of Artificial Intelligence by Michael R. Genesereth, and have questions regarding some of his paragraphs on Page 20.
A variable can also occur as a term in a sentence without an enclosing quantifier. When used in this way, a variable is said to be free, whereas a variable that occurs in a sentence and in an enclosing quantifier is said to be bound. ....
Does the definition of free variables mean the sentence is without an enclosing quantifier or the variable appearing in the sentence is without one?
If a sentence has no free variables, it is called a closed sentence. If it has neither free nor bound variables, it is called a ground sentence.
Does being a ground sentence mean that the sentence has no variable at all? If no so, which kinds of variables could it contain? Are there some examples?