public java.io.Serializable fromDOM(Document document) {
		Grammar g = new UnboundGrammar();
		NodeList list = document.getDocumentElement().getElementsByTagName(
				PRODUCTION_NAME);
		for (int i = 0; i < list.getLength(); i++) {
			Production p = createProduction(list.item(i));
			g.addProduction(p);
		}
		return g;
	}