En 1986 estimó que el esfuerzo para terminar Cyc sería de 350 años de trabajo y más de 250,000 reglas.