Wasn't this the kind of understanding that Cyc was supposed to accomplish?