Please do not link to random papers on semantics, you don't know whose weekend you might ruin. Horrible nerd-snipping there; I grok half of the paper, and have

Please do not link to random papers on semantics, you don't know whose weekend you might ruin. Horrible nerd-snipping there; I grok half of the paper, and have no choice but to study the formal semantics of the other half :-(