Words: sentential function
Part of speech: n
Definition: formal expression containing variables; becomes a sentence when variables are replaced by constants