I'm trying to clear OCL Bug 517145 by providing some tutorial information in the Oxygen OCL documentation on use of OCL constraints on class/profile/instance diagrams in Papyrus, but I'm stuck when it comes to drawing explanatory diagrams. Papyrus support for InstanceValues seems pretty ropey. See Bug 517689.
I would not call myself an expert but here is my attempt at drawing what you wanted.
I had a couple of problems.
First it appears that there is no way to change the name of the roles of the InstanceSpecificationLink. They are stuck at Don and Josh.
Second, there does not seem to be a way to draw desired king of link between the ":Window" and the "medium : Area" InstanceSpecifications. The attached screenshot shows the available options.
Ed, let me know if this is sufficient for you and I will attach the model to the bug.