c* is a variable for various conditions under which a sentence is interpreted; it can be
made explicit by a topic expression or certain adjuncts, including domain adverbials.
‘CR (x, c*)’ can be present in any sentence, with x a specification of the conditions,
and ‘UNDER (e,c*)’ is part of the translation of every predicate, saying the event is
to be understood under the conditions c* (as restricted by x).