SRI is developing an automated reading system that makes the information in textbooks accessible to a range of formal reasoning systems.
