instruction:
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.
question:
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
answer:
 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:
Wright-Patterson Air Force Base (WPAFB) (IATA: FFO, ICAO: KFFO, FAA LID: FFO) is a United States Air Force base and census-designated place just east of Dayton, Ohio, in Greene and Montgomery counties. It includes both Wright and Patterson Fields, which were originally Wilbur Wright Field and Fairfield Aviation General Supply Depot. Patterson Field is approximately 10 mi northeast of Dayton; Wright Field is approximately 5 mi northeast of Dayton. Question: Who is the Director of the National Museum located at the air force base located east of Dayton, Ohio? Answer: John L. "Jack" Hudson
answer:
WrightPatterson Air Force Base WPAFB IATA: FFO, ICAO: KFFO, FAA LID: FFO is a United States Air Force base and censusdesignated place just east of Dayton, Ohio, in Greene and Montgomery counties.


question:
Boys Over Flowers () is a 2009 South Korean television series starring Lee Min-ho, Ku Hye-sun, Kim Hyun-joong (of SS501), Kim Bum, Kim Joon (of T-Max) and Kim So-eun. It aired on KBS2 from January 5 to March 31, 2009 on Mondays and Tuesdays at 22:00 for 25 episodes. Question: How many episodes does the South Korean television series at which Jung Eui-chul reached the peak of his career have?  Answer: 25 episodes
answer:

 It aired on KBS2 from January 5 to March 31, 2009 on Mondays and Tuesdays at 22:00 for 25 episodes.