[Q]: Sentence: In his 1936 paper on analytic measure theory, he used the Haar theorem in the solution of Hilbert's fifth problem in the case of compact groups. Question: What did von Neumann use the Haar theorem to solve in a 1936 paper? OPTIONS:
- yes
- no
++++++++++
[A]: yes

[Q]: Sentence: In the first stage the information must be changed so that it may be put into the encoding process. Question: Why may some memory retrieval processes fail? OPTIONS:
- yes
- no
++++++++++
[A]: no

[Q]: Sentence: The Times stayed with Times New Roman for 40 years, but new production techniques and the format change from broadsheet to tabloid in 2004 have caused the newspaper to switch font five times since 1972. Question: How many years has The Times stayed with Times New Roman? OPTIONS:
- yes
- no
++++++++++
[A]:
yes