Contextual reference can be modeled as a statement that from the current state (anaphor) there should be an accessible antecedent state at which particular conditions hold.
assuming an accessibility relation XS, we can model the meaning of the pronoun he as in (12).