`` Coherence , '' as outlined above , can be understood as a declarative ( or static ) version of marker passing ( Hirst 1987 ; Charniak 1983 ) , with one difference : the activation spreads to theories that share a predicate , not through the IS-A hierarchy , and is limited to elementary facts about predicates appearing in the text .
passing markers a theory of contextual influence in language comprehensionquot
E Charniak
The idea of using preferences among theories is new , hence it was described in more detail . `` Coherence , '' as outlined above , can be understood as a declarative ( or static ) version of marker passing ( Hirst 1987 ; Charniak 1983 ) , with one difference : the activation spreads to theories that share a predicate , not through the IS-A hierarchy , and is limited to elementary facts about predicates appearing in the text . The metalevel rules we are going to discuss in Section 6 , and that deal with the Gricean maxims and the meaning of `` but , '' can be easily expressed in the languages of set theory or higher order logic , but not everything expressible in those languages makes sense in natural language .
`` Coherence , '' as outlined above , can be understood as a declarative ( or static ) version of marker passing ( Hirst 1987 ; @@CITATION ) , with one difference : the activation spreads to theories that share a predicate , not through the IS-A hierarchy , and is limited to elementary facts about predicates appearing in the text .