To expel.
To declare a sentence on a convicted person; to condemn to punishment.
To decree, announce, or pass as a sentence.
A grammatically complete series of words consisting of a subject and predicate, even if one or the other is implied, and typically beginning with a capital letter and ending with a full stop or other punctuation.
A punishment imposed on a person convicted of a crime.
The judicial order for a punishment to be imposed on a person convicted of a crime.
Any of the set of strings that can be generated by a given formal grammar.
A formula with no free variables.