Finally, discourse adverbials, like other anaphors, may require semantic representations in which their arguments are bound variables ranging over discourse entities.
whereas it might be possible to represent Although P, Q using a binary modal operator (21) although (p, q) where formulas p and q translate the sentences P and Q that although combines, we cannot represent P .