Universal Affirmative
At least ∀-x A are B
At most ∅+x A are B
At most ∅+x B are A
At least ∀-x B are A
At most ∅+x A are B
At most ∅+x B are A
At least ∀-x B are A
The schematics for the propositions comprising these numerically expanded statements are the same as before except that the numerical exceptions will now be indicated on the schematics.
That is, the schematics are still up or down, predominately green or red, and x-shaped or z-shaped. The only difference in their appearance is that they now have the numerical value of their exception written on them. Then as they are read, the qualifier followed by the exception from all or none is to be indicated. Letting the exception be x, the "up-schematics" then are as follows.
When Use Numbers is activated, this text appears for the top row of schematics in the app except that there x is replaced with 0 for the universals and with 1 for the particulars.
Likewise, the "down-schematics" forms (i.e., those with A as subject terms) are the same as before with these modifications added. They appear with 0 and 1 exceptions when the schematics of the bottom row are clicked or tapped.
