Lenat himself was talking about using some of that tech for the US Intelligence community and policy prediction of other states. Not sure if anything came of it, but it's not far-fetched for these organizations to have shoveled some money in that direction.