Proposition Group
A labeled group of propositions.
Used for operations that need to identify or compare groups, such as:
Contrast: compare "Alice" group vs "Bob" group
Abstraction: abstract propositions about "Engineering Team"
Temporal: compare "Q1 2025" vs "Q2 2025"