Definition: The expression (s CTXT c) is used to restrict the persistence or validity of a situation s to a certain context c ∈ {o ∪ si}. In contrast to CIRC, the relation CTXT has a semantically restrictive character.
Example:
some success in trade diplomacy