PropositionGroup

data class PropositionGroup(val label: String, val propositions: List<Proposition>)

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"

Constructors

Link copied to clipboard
constructor(label: String, propositions: List<Proposition>)

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard

Human-readable identifier for the group (e.g., "Alice", "Q1 2025", "Engineering Team")

Link copied to clipboard

The propositions in this group

Link copied to clipboard
val size: Int

Number of propositions in this group

Functions

Link copied to clipboard

Whether this group has any propositions

Link copied to clipboard

Whether this group has propositions