HN location for discussion of Lenat's last paper (with Gary Marcus) about ways to reconcile Cyc's strengths with LLMs.