Lenat, Douglas B., Cycorp, United States