Our work leverages cutting-edge domains such as Probabilistic Programming and Applied Category Theory. Initially we’re focussed on building a system that can receive queries in natural or domain specific language, provide good answers and an insight into its reasoning.