_No S is not-P_ .'.
_No not-P is S_ I._Some S is P_ .'.
_Some S is not not-P_ .'.
(none) E._No S is P_ .'.
_All S is not-P_ .'.