Peter Clark: Project Aristo: Towards Machines that Capture and Reason with Science Knowledge. K-CAP 2019: 1-2