In this task, you are given a context, a subject, a relation, and many options. Based on the context, from the options select the object entity that has the given relation with the subject. Answer with text (not indexes).

[EX Q]: Context: History.
Even after the emergence of the professional National Football League (NFL), college football remained extremely popular throughout the U.S. 
Although the college game has a much larger margin for talent than its pro counterpart, the sheer number of fans following major colleges provides a financial equalizer for the game, with Division I programs  the highest level  playing in huge stadiums, six of which have seating capacity exceeding 100,000. In many cases, college stadiums employ bench-style seating, as opposed to individual seats with backs and arm rests. This allows them to seat more fans in a given amount of space than the typical professional stadium, which tends to have more features and comforts for fans. (Only two stadiums owned by U.S. colleges or universities  Papa John's Cardinal Stadium at the University of Louisville and FAU Stadium at Florida Atlantic University  consist entirely of chairback seating.), The Sun Belt Conference is a collegiate athletic conference that has been affiliated with the NCAA's Division I since 1976. Originally a non-football conference, the Sun Belt began sponsoring football in 2001. Its football teams participate in the Division I Football Bowl Subdivision (FBS). The 12 member institutions of the Sun Belt are distributed primarily across the southern United States., The 2009 WKU Hilltoppers football ) team represented Western Kentucky University ( WKU ) during the 2009 NCAA Division I FBS football season . The team 's head coach was David Elson . WKU was an NCAA Division I FBS independent team in 2008 , before their move to the Sun Belt Conference in 2009 . 2009 was the first season where the Hilltoppers were eligible for a Sun Belt Conference championship and a postseason bowl game . The Hilltoppers played their home games at Houchens Industries -- L. T. Smith Stadium in Bowling Green , Kentucky . The Hilltopers were one of only two teams ( Eastern Michigan being the other ) to finish the 2009 season winless ., David Elson is an American football coach who is currently the defensive coordinator for Western Illinois University. Between 20032009 Elson was head coach of the WKU Hilltoppers football program representing Western Kentucky University (WKU). Elson oversaw the transition of WKU from a Football Championship Subdivision (formerly known as Division I-AA) to a Football Bowl Subdivision (formerly known as Division I-A) program, the highest division in college football; in his final season, the Hilltoppers joined the Sun Belt., An exhibition game (also known as a friendly, a scrimmage, a demonstration, a preseason game, a warmup match, or a preparation match, depending at least in part on the sport) is a sporting event whose prize money and impact on the player's or the team's rankings is either zero or otherwise greatly reduced. In team sports, matches of this type are often used to help coaches and managers select and condition players for the competitive matches of a league season or tournament. If the players usually play in different teams in other leagues, exhibition games offer an opportunity for the players to learn to work with each other. The games can be held between separate teams or between parts of the same team., A defensive coordinator is a member of the coaching staff of a gridiron football team who is in charge of the defense. Generally, along with the offensive coordinator, he represents the second level of command structure after the head coach. The defensive coordinator is generally in charge of managing all defensive players and assistant coaches, of developing a general defensive game plan, and of calling the plays for the defense during the game. At higher levels of football (college and professional), the defensive coordinator typically has a number of assistant coaches working under him who are responsible for the various defensive positions on the team (such as defensive line, linebackers, or defensive backs)., A county seat is an administrative center, seat of government, or capital city of a county or civil parish. The term is used in the United States, Canada, Romania, China and Taiwan. In the United Kingdom and Ireland, county towns have a similar function., Bowl eligibility in college football at the NCAA Division I FBS level is the standard through which teams become available for selection to participate in postseason bowl games. When a team achieves this state, it is described as "bowl-eligible"., The 2009 NCAA Division I FBS football season, or the college football season, began on September 2, 2009, progressed through the regular season and bowl season, and (aside from all-star exhibition games that followed the bowl games) concluded with the Bowl Championship Series (BCS) National Championship Game in Pasadena, California on January 7, 2010, featuring the Alabama Crimson Tide, defeating the Texas Longhorns for the National Championship by the score of 3721., Warren County is a county located in the U.S. state of Kentucky. As of 2014, the population was 120,460, making it the fifth-most populous county in Kentucky. The county seat is Bowling Green. Generally the county is dry, prohibiting the sale of alcohol, but retail alcohol sales are allowed in the "wet city" of Bowling Green; Warren County is classified as a moist county., Bowling Green is a city in and the county seat of Warren County, Kentucky, United States. As of 2015, its population of 63,616 made it the third most-populous city in the state after Louisville and Lexington; its metropolitan area had an estimated population of 165,732; and the combined statistical area it shares with Glasgow has an estimated population of 218,870., The Bowl Championship Series (BCS) was a selection system that created five bowl game match-ups involving ten of the top ranked teams in the National Collegiate Athletic Association (NCAA) Division I Football Bowl Subdivision (FBS) of American college football, including an opportunity for the top two teams to compete in the BCS National Championship Game. The system was in place for the 1998 through 2013 seasons and in 2014 was replaced by the College Football Playoff., Western Kentucky University is a public university in Bowling Green, Kentucky, United States. It was founded by the Commonwealth of Kentucky in 1906, though its roots reach back a quarter-century earlier. In the fall 2011 semester, enrollment was approximately 21,000., In North America, a bowl game is one of a number of post-season college football games that are primarily played by teams belonging to the NCAA's Division I Football Bowl Subdivision (FBS). Prior to 2002, bowl game statistics were not included in players' career totals and the games were mostly considered to be exhibition games involving a payout to participating teams. While teams once had to meet strict bowl eligibility requirements to receive an invitation to a bowl game, the number of bowl games has grown in recent years, climbing to 40 team-competitive games starting in the 201516 Bowl season. The increase in bowl games has necessitated the steady easing of the NCAA bowl eligibility rules since 2006, as teams with a losing record are often required to fill some of the 80 available bowl slots., A head coach, senior coach, or manager is a professional at training and developing athletes. They typically hold a more public profile and are paid more than other coaches. In some sports, the head coach is instead called the "manager", as in association football and professional baseball. In other sports such as Australian rules football, the head coach is generally termed a senior coach., Subject: 2009 wku hilltoppers football team, Relation: sport, Options: (A) american football (B) association football (C) bowling (D) climbing (E) football (F) national collegiate athletic association (G) sport (H) united kingdom
[EX A]: american football

[EX Q]: Context: Economics (, ) is a social science concerned with the factors that determine the production, distribution, and consumption of goods and services. The term "economics" comes from the Ancient Greek from (', pronounced "eekos", "house") and (', "custom" or "law"), hence "rules of the house (hold for good management)". 'Political economy' was the earlier name for the subject, but economists in the late 19th century suggested "economics" as a shorter term for "economic science" to establish itself as a separate discipline outside of political science and other social sciences., The Ivy League is a collegiate athletic conference comprising sports teams from eight private institutions of higher education in the Northeastern United States. The conference name is also commonly used to refer to those eight schools as a group beyond the sports context. The eight institutions are Brown University, Columbia University, Cornell University, Dartmouth College, Harvard University, the University of Pennsylvania, Princeton University, and Yale University. The term "Ivy League" has connotations of academic excellence, selectivity in admissions, and social elitism., Columbia University (officially Columbia University in the City of New York) is a private Ivy League research university in Upper Manhattan, New York City. It was established in 1754 as King's College by royal charter of George II of Great Britain. Columbia is the oldest college in the state of New York and the fifth chartered institution of higher learning in the country, making it one of nine colonial colleges founded before the Declaration of Independence. After the American Revolutionary War, King's College briefly became a state entity, and was renamed Columbia College in 1784. A 1787 charter placed the institution under a private board of trustees before it was renamed Columbia University in 1896 when the campus was moved from Madison Avenue to its current location in Morningside Heights occupying of land. Columbia is one of the fourteen founding members of the Association of American Universities, and was the first school in the United States to grant the M.D. degree., A royal charter is a formal document issued by a monarch as letters patent, granting a right or power to an individual or a body corporate. They were, and are still, used to establish significant organisations such as cities (with municipal charters) or universities and learned societies. Charters should be distinguished from warrants and letters of appointment, as they have perpetual effect. Typically, a Royal Charter is produced as a high-quality work of calligraphy on vellum. The British monarchy has issued over 980 royal charters. Of these about 750 remain in existence. The earliest was to the town of Tain in 1066, making it the oldest Royal Burgh in Scotland, followed by the University of Cambridge in 1231. Charters continue to be issued by the British Crown, a recent example being that awarded to the Chartered Institute for the Management of Sport and Physical Activity, on 7 April 2011., Guillermo Antonio Calvo ( born 1941 ) is an Argentine - American economist who is Director of Columbia University 's mid-career Program in Economic Policy Management in their School of International and Public Affairs ( SIPA ) . He published significant research in macroeconomics , especially monetary economics and the economics of emerging markets and transition economies ., The City of New York, often called New York City or simply New York, is the most populous city in the United States. With an estimated 2015 population of 8,550,405 distributed over a land area of just , New York City is also the most densely populated major city in the United States. Located at the southern tip of the state of New York, the city is the center of the New York metropolitan area, one of the most populous urban agglomerations in the world. A global power city, New York City exerts a significant impact upon commerce, finance, media, art, fashion, research, technology, education, and entertainment, its fast pace defining the term "New York minute". Home to the headquarters of the United Nations, New York is an important center for international diplomacy and has been described as the cultural and financial capital of the world., Madison Avenue is a north-south avenue in the borough of Manhattan in New York City, United States, that carries northbound one-way traffic. It runs from Madison Square (at 23rd Street) to meet the southbound Harlem River Drive at 142nd Street. In doing so, it passes through Midtown, the Upper East Side (including Carnegie Hill), East Harlem, and Harlem. It is named after and arises from Madison Square, which is itself named after James Madison, the fourth President of the United States. , Upper Manhattan denotes the most northern region of the New York City Borough of Manhattan. Its southern boundary has been variously defined, but 96th Street, the northern boundary of Central Park at 110th Street, 125th Street or 155th Street are some common usages., Higher Learning is a 1995 American drama film written and directed by John Singleton, and starring an ensemble cast. The film follows the changing lives of three incoming freshmen at the fictional Columbus University: Malik Williams (Omar Epps), a black track star who struggles with academics; Kristen Connor (Kristy Swanson), a shy and naive girl; and Remy (Michael Rapaport), a lonely and confused man seemingly out of place in his new environment., An economist is a practitioner in the social science discipline of economics., Subject: guillermo calvo, Relation: educated_at, Options: (A) brown university (B) columbia college (C) columbia university (D) cornell university (E) harvard university (F) law (G) learning (H) new york (I) princeton university (J) university of cambridge (K) yale university
[EX A]: yale university

[EX Q]: Context: Mathematics (from Greek  "máthma", knowledge, study, learning) is the study of topics such as quantity (numbers), structure, space, and change. There is a range of views among mathematicians and philosophers as to the exact scope and definition of mathematics., Computer science is the study of the theory, experimentation, and engineering that form the basis for the design and use of computers. It is the scientific and practical approach to computation and its applications and the systematic study of the feasibility, structure, expression, and mechanization of the methodical procedures (or algorithms) that underlie the acquisition, representation, processing, storage, communication of, and access to information. An alternate, more succinct definition of computer science is the study of automating algorithmic processes that scale. A computer scientist specializes in the theory of computation and the design of computational systems., Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics. The language of set theory can be used in the definitions of nearly all mathematical objects., The Calculus of Constructions ( CoC ) is a type theory created by Thierry Coquand . It can serve as both a typed programming language and as constructive foundation for mathematics . For this second reason , the CoC and its variants have been the basis for Coq and other proof assistants . Some of its variants include the calculus of inductive constructions ( which adds inductive types ) , the calculus of ( co ) inductive constructions ( which adds coinduction ) , and the predicative calculus of inductive constructions ( which removes some impredicativity ) ., In mathematics, logic, and computer science, a type theory is any of a class of formal systems, some of which can serve as alternatives to set theory as a foundation for all mathematics. In type theory, every "term" has a "type" and operations are restricted to terms of a certain type., In computer science, Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification. Coq works within the theory of the calculus of inductive constructions, a derivative of the calculus of constructions. Coq is not an automated theorem prover but includes automatic theorem proving tactics and various decision procedures., A formal proof or derivation is a finite sequence of sentences (called well-formed formulas in the case of a formal language), each of which is an axiom, an assumption, or follows from the preceding sentences in the sequence by a rule of inference. The last sentence in the sequence is a theorem of a formal system. The notion of theorem is not in general effective, therefore there may be no method by which we can always find a proof of a given sentence or determine that none exists. The concept of natural deduction is a generalization of the concept of proof., In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object. This is in contrast to a non-constructive proof (also known as an "existence proof" or "pure existence theorem") which proves the existence of a particular kind of object without providing an example., A formal system or logical calculus is any well-defined system of abstract thought based on the model of mathematics. A formal system need not be mathematical as such; for example, Spinoza's "Ethics" imitates the form of Euclid's "Elements".. Spinoza employed Euclidiean elements such as "axioms" or "primitive truths", rules of inferences etc. so that a calculus can be build using these. For nature of such primitive truths, one can consult Tarski's "Concept of truth for a formalized language". , In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer., Subject: calculus of constructions, Relation: instance_of, Options: (A) branch (B) class (C) communication (D) computer (E) concept (F) design (G) formal system (H) information (I) language (J) mathematical object (K) mathematics (L) method (M) object (N) programming (O) programming language (P) quantity (Q) reason (R) scale (S) science (T) set theory (U) structure (V) study (W) theory (X) truth
[EX A]:
formal system