A
pro-form is a type of
function word or expression that stands in for (expresses the same content as) another
word,
phrase,
clause or
sentence where the
meaning is recoverable from the context. They are used either to avoid repetitive expressions or in
quantification (limiting the variables of a proposition).