We call a formula constructed by conjunctions and existential quantifiers a basic formula in event semantics.
a set of basic formulas ϕ in event semantics is defined as: The formula in (2) is an instance of a basic formula, which captures the predicate-argument structure of a sentence.