[optimalsolver]

>if they could not come to a consensus, would have to take it before the Master, Doug Lenat, who would think for a bit, maybe draw some diagrams on a whiteboard, and come up with the Right Representation

So looks like Cyc did have to fall back on a neural net after all (Lenat's).