Definition: The expression (s MODL m) is used to restrict the meaning of a situation s by means of a modal operator m from a finite set md.
It represents the attitude of a speaker or author of a situational description with regard to the validity of the sentences formulated by him or her. By default, the first argument s is assumed to be a hypothetical situation (s ∈ si).