Question: Aside from the British-American computer scientist, physicist, and businessman who wrote the book "A New Kind of Science", who designed the Symbolic Manipulation Program?
Sentence (from "David Cheriton"): Cheriton funded at least 20 companies.
Relevant evidence: No