In this task, you are given a context paragraph, a question based on that and corresponding answer of a question. Your task is to generate supporting fact/knowledge from context paragraph which helps in answering a given question.

Input: Consider Input: Sir Charles Antony Richard Hoare FRS FREng (born 11 January 1934), commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist. He developed the sorting algorithm quicksort in 1959/1960. He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language. Question: What type of programming language was created by Tony Hoare and can be seen implemented in the Elliot ALGOL complier? Answer: occam programming language

Output: He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes CSP to specify the interactions of concurrent processes including the dining philosophers problem and the inspiration for the occam programming language.

Input: Consider Input: Colorado School of Mines, also referred to as "Mines", is a public teaching and research university in Golden, Colorado, devoted to engineering and applied science, with special expertise in the development and stewardship of the Earth's natural resources. Mines placed 82nd in the 2017 "U.S. News & World Report" "Best National Universities" ranking. In the 201617 QS World University Rankings by subject, the university was ranked as the top institution in the world for mineral and mining engineering. Question: What city is the school, from which Kenneth S. Deffeyes earned a B.S. in petroleum geology, located in? Answer: Golden, Colorado

Output: Colorado School of Mines, also referred to as Mines, is a public teaching and research university in Golden, Colorado, devoted to engineering and applied science, with special expertise in the development and stewardship of the Earths natural resources.

Input: Consider Input: The 2011 Phillips 66 Big 12 Men's Basketball Championship was the 2011 edition of the Big 12 Conference's championship tournament held at the Sprint Center in Kansas City, Missouri from March 9 until March 12, 2011. It was won by top-seeded Kansas. Question: Who sponsored the 2011 Big 12 Men's Basketball Tournament and is headquartered in Westchase, Houston, Texas? Answer: Phillips 66
Output: The 2011 Phillips 66 Big 12 Mens Basketball Championship was the 2011 edition of the Big 12 Conferences championship tournament held at the Sprint Center in Kansas City, Missouri from March 9 until March 12, 2011.