  In addition to predicate denial, in which a predicate F is denied of a subject a, Aristotelian logic allows for narrow-scope predicate term negation, in which a negative predicate not-F is affirmed of a. The relations of predicate denial and predicate term negation to a simple affirmative proposition (and to each other) can be schematized on a generalized square of opposition for singular (non-quantified) expressions (De Interpretatione 19b19–30, Prior Analytics Chapter 46):