'Sentence'

"a sentence is a 'formula' in which every occurrence of a variabl (if any) is within the scope of a quantifier for that variable."

(Introduction to Logic Programming (page 11), by Chrstopher John Hogger)