Defining properties of relational frames

Specific types of relational responding, termed relational frames, are defined in terms of the three properties of mutual and combinatorial entailment, and the transformation of functions. Relational frames are arbitrarily applicable, but are typically not necessarily arbitrarily applied in the natural language context.

Mutual entailment refers to the derived bidirectionality of some stimulus relations, and as such it is a generic term for the concept of "symmetry" in stimulus equivalence. "Mutual entailment" applies if stimulus A is related to another stimulus B in a specific context, and as a result a relation between B and A is entailed in that context. 

Combinatorial entailment refers to instances in which two or more relations that have acquired the property of mutual entailment mutually combine. Combinatorial entailment is the generic term for what is called "transitivity" and "equivalence" in stimulus equivalence. Combinatorial entailment applies when, in a given context, A is related to B and B is related to C, and then in that context a relation is entailed between A and C and another between C and A. For example, if A is bigger than B, and B is bigger than C, then a bigger-than relation is entailed between A and C, and a smaller-than relation is entailed between C and A. 

A transformation of stimulus functions applies when functions of one event in a relational network is altered based on the functions of another event in the network and the derived relation between them. Mutual and combinatorial entailment are regulated by contextual cues (C rel). The transformation of stimulus functions are regulated by additional contextual cues (C func).