Module logic 

Logic expression AST types for first-order logic with modal and event extensions.

This module defines the core logical expression types including:

• LogicExpr: The main expression enum with all logical constructs
• Term: Terms (constants, variables, function applications)
• NounPhrase: Parsed noun phrase structure
• Semantic types: Montague-style type markers
• Event roles: Neo-Davidsonian thematic roles (Agent, Theme, Goal, etc.)
• Modal vectors: Kripke semantics parameters (domain, flavor, force)
• Temporal operators: Past, future, perfect, progressive

All types use arena allocation with the 'a lifetime parameter.

Structs

CategoricalData

Aristotelian categorical proposition data.

ModalVector

Modal operator parameters for Kripke semantics.

NeoEventData

Neo-Davidsonian event structure with thematic roles.

NounPhrase

Parsed noun phrase structure for compositional interpretation.

RelationData

Simple subject-verb-object relation data.

Enums

AspectOperator

Grammatical aspect operators for event structure.

BinaryOpKind

Binary logical connectives.

Dimension

Physical dimension for degree semantics and unit tracking.

LogicExpr

First-order logic expression with modal, temporal, and event extensions.

LogicalType

Montague semantic types for compositional interpretation.

ModalDomain

Modal logic domain classification.

ModalFlavor

Modal flavor affecting scope interpretation.

NumberKind

Numeric literal representation for degree semantics.

QuantifierKind

Quantifier types for first-order and generalized quantifiers.

TemporalOperator

Prior-style tense logic operators.

Term

First-order logic term representing entities or values.

ThematicRole

Neo-Davidsonian thematic roles for event semantics.

UnaryOpKind

Unary logical operators.

VoiceOperator

Grammatical voice operators.