theory of POS, words are classified according to the inflectional paradigms that are created independent of the grammatical context the word is in. A misapplication of Priscian's verb categories for the modern notion of non-finite clause might thus result on the recognition of clauses where there are none. In linguistics, both Generative Theory and Systemic Functional Theory of Language do not support analyses of Carthago delenda est in the way it is proposed above. For instance, the French active non-finite verbs sorti(e) and entré(e) as in il est sorti/entré and elle est sortie/entrée agree in number and gender with the subject in the same way as delenda does, but these words are not considered a non-finite sentence in Generative Theory nor a non-finite clause in Systemic Functional Theory on their own. In the example Carthago delenda est/Carthago must be destroyed, the verb est is a modal voice auxiliary because it functions both as modal and as voice. A syntactic tree for the clause Carthago must be destroyed is shown below: For more details of the use of such clauses in English, see , and English passive voice. See also English clause syntax Supine Verbal noun Balancing and deranking References Clauses Grammatical construction types