Struct NeoEventData 

pub struct NeoEventData<'a> {
    pub event_var: Symbol,
    pub verb: Symbol,
    pub roles: &'a [(ThematicRole, Term<'a>)],
    pub modifiers: &'a [Symbol],
    pub suppress_existential: bool,
    pub world: Option<Symbol>,
}

Neo-Davidsonian event structure with thematic roles.

Represents a verb event with its participants decomposed into separate thematic role predicates: ∃e(Run(e) ∧ Agent(e, john)).

Fields

event_var: Symbol

The event variable (e, e1, e2, …).

verb: Symbol

The verb predicate name.

roles: &'a [(ThematicRole, Term<'a>)]

Thematic role assignments: (Role, Filler) pairs.

modifiers: &'a [Symbol]

Adverbial modifiers (e.g., “quickly” → Quickly(e)).

suppress_existential: bool

When true, suppress local ∃e quantification. Used in DRT for generic conditionals where event var is bound by outer ∀.

world: Option<Symbol>

World argument for Kripke semantics. None = implicit actual world (w₀).

Trait Implementations

impl<'a> Debug for NeoEventData<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.