Douglas Lenat - Transitive Relations and Efficiency (via searchlore.ai)