Rule Models

Conjunctive Prongs

Conjunctive classroom rules ask whether every required model row is present. Honesty note: US classroom stated-rule model; the pinned first step states the as-of date; not legal advice; code encodes an interpretation of a stated rule, not the law itself.

highlighted = computed this step

Rules as code honesty note

Honesty note: US classroom stated-rule model; as of 2026-06-24; not legal advice; code encodes an interpretation of a stated rule, not the law itself.

classroom model as of 2026−06−24\text{classroom model as of }2026-06-24

Conjunctive rules use all-prong structure

A conjunctive classroom rule asks whether every named prong row is satisfied inside the stated model.

all named prongs\text{all named prongs}

Example contract-style data

The toy data supplies offer, acceptance, and consideration labels. This is a sample classroom triad, not a complete contract doctrine.

sample classroom triad\text{sample classroom triad}

The model checks each prong

The trace has 3 prong rows. Here 3 model rows are satisfied.

prong rows=3,satisfied rows=3\text{prong rows}=3,\quad \text{satisfied rows}=3

Diagram note

The diagram is a conjunctive trace. It does not decide any real dispute or predict what a court would do.

conjunctive trace only\text{conjunctive trace only}

Jurisdiction: US; as of 2026-06-24; not legal advice; Code encodes the stated-rule interpretation.

Conjunctive prongs offer: satisfied via offer=True compare=True acceptance: satisfied via acceptance=True compare=True consideration: satisfied via consideration=True compare=True

Narrow summary

Conjunctive coding is strict about rows: the model must show each required prong separately.

separate required prongs\text{separate required prongs}