Stephen Wolfram - Formalizing Everyday Discourse (via searchlore.ai)