All tagged Standard-Form Categorical Propositions