Email Record: Knowledge based theorem proving and learning /