"The long slow failure of Lenat’s project is a strong indictment against the symbolic-logical approach to AI."
That does not follow at all ... this statement comes just after an enumeration of Lenat's attitudinal problems that plausibly played a significant role in its failure.