We build a system that can accurately represent knowledge and handle uncertainty, to help us discover insights and solve problems based on composition and explainable reasoning. We envision applications to automate analysis and speed up research in …