@Override
	protected boolean keyword(String s) {
		if (keywords == null) {
			keywords = new HashSet<String>();
			for (String def : definitions.keySet()) {
				browseTreeForKeywords(definitions.get(def));
			}
		}
		return keywords.contains(s);
	}