IDOL Eduction Grammars User Guide