noun
Definition: A type of universal statement in logic that allows for the conclusion of a related, less general statement.
Example: In traditional logic, a superaltern can lead to the conclusion that some members of a group share a certain property.