// Copied from org.eclipse.ocl.examples.test.xtext.PivotDocumentationExamples.java

		// only print the set of book categories for valid libraries
		for (Library next : constraintEval.select(libraries)) {
		    @SuppressWarnings("unchecked")
		    Set<BookCategory> categories = (Set<BookCategory>) queryEval.evaluate(next);
		    
		    System.out.printf("%s: %s%n", next.getName(), categories);
		}
