A case study in formal product semantics. (28th January 2008)