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.
Probable, possible, intentional…