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