s, both terms are particular-affirmative.

The proposition No

s are

s would in philosophical language be written in the form All

s are not-