After the design of IAS, who built the computer? [SEP] The next computer that von Neumann designed was the IAS machine at the Institute for Advanced Study in Princeton, New Jersey.
entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment