Ben Goertzel - Type Systems in Hypergraphs (via searchlore.ai)