A full treatment of context-dependent expressions requires at minimum a context parameter encoding a...