We consider two metrics, IED and END, which measure accuracy based on the action sequence and environment, respectively.
while this generalization gives us a mapping ξ, we create a lexical entry i = [ν ⇒ (λ v.S, ∅)] without it, where S is the parameterized atom.