> Would it be a good idea if each contributing notation (or method) > gives a description of the UN security council example in its own > notation? Yes, that would be a good exercise. For this purpose, could you please summarize the UN case description including the additions that have been proposed meanwhile? Thanks, G e r d