I am indebted to Tom Costello for both scientific and TeXnical help.
The work was supported by the Air Force Office of Scientific Research New World Vistas program and by the Defense Advanced Research Projects Agency High Performance Knowledge Bases program.