Aristo – An intelligent system that reads, learns, and reasons about science