Forgot to mention that it's an example in the org.eclipse.emf.validation.examples.ocl plug-in. cW -----8<-----