interesting. I had meant to point out that you had recently tooted a look at the life and death of Cyc as a deceased expert system, and in parallel I was reading a book explicitly comparing its KR to CYCL.
At one point, too early in my trajectory to have really understood implications other than a vague connection to DEs, I did at least physically look at every page of Wolfram's monster which is why it lurks in the visual-metaphor-spheres of my brain.