“…While there has been a lot of work in IE on domains such as web documents (Chang et al, 2003;Etzioni et al, 2004;Cafarella et al, 2005;Chang et al, 2006;Banko et al, 2007;Etzioni et al, 2008;Mitchell et al, 2015) and scientific publication data (Shah et al, 2003;Peng and McCallum, 2006;Saleem and Latif, 2012), work on IE from educational material is much more sparse. Most of the research in IE from educational material deals with extracting simple educational concepts (Shah et al, 2003;Canisius and Sporleder, 2007;Liu et al, 2016b;Wang et al, 2016) or binary relational tuples (Balasubramanian et al, 2002;Clark et al, 2012;Dalvi et al, 2016) using existing IE techniques. On the other hand, our approach extracts axioms and parses them to horn clause rules.…”