public static String getAbstractSynCat(String synCat) throws Exception {
		if (!abstractSynCat.containsKey(synCat))
			throw new Exception("synCat " + synCat + " is unknown");
		return abstractSynCat.get(synCat);
	}