Description in jison file