public void printDefinitons() {
		for (String key:definitions.keySet()) {
			System.out.println(key+":");
			for (Vector<PatternComponent> list:definitions.get(key)) {
				for (int i = 0; i < list.size(); i++) {
					System.out.println("\t"+list.get(i));
				}
			}
		}
	}