An Annotated Corpus and a Grammar Model of Theorem Description. - Yusuke Baba; Masakazu Suzuki (MKM, 2003)