to_event_semantics

logicaffeine_language::lambda

Function to_event_semantics 

Source 
pub fn to_event_semantics<'a>(
    expr: &'a LogicExpr<'a>,
    interner: &mut Interner,
    expr_arena: &'a Arena<LogicExpr<'a>>,
    term_arena: &'a Arena<Term<'a>>,
) -> &'a LogicExpr<'a>
Expand description

Converts a predicate to Neo-Davidsonian event semantics.

Transforms P(x, y) into ∃e(P(e) ∧ Agent(e, x) ∧ Theme(e, y)). This reification of events enables reasoning about event modification.