hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Model elimination
Model elimination is the name attached to a pair of proof procedures invented by Donald W. Loveland, the first of which was published in 1968 in the Journal of the ACM. Their primary purpose is to carry out automated theorem proving, though they can readily be extended to logic programming, including the more general disjunctive logic programming.

Model elimination is closely related to resolution while also bearing characteristics of a tableaux method. It is a progenitor of the SLD resolution procedure used in the Prolog logic programming language.

While somewhat eclipsed by attention to, and progress in, resolution theorem provers, model elimination has continued to attract the attention of researchers and software developers. Today there are several theorem provers under active development that are based on the model elimination procedure.

Answer set programming
Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems.  It is based on the stable model (answer set) semantics of logic programming.  In ASP, search problems are reduced to computing stable models, and answer set solvers—programs for generating stable models—are used to perform search.  The computational process employed in the design of many answer set solvers is an enhancement of the DPLL algorithm and, in principle, it always terminates (unlike Prolog query evaluation, which may lead to an infinite loop).

In a more general sense, ASP includes all applications of answer sets to knowledge representation and reasoning and the use of Prolog-style query evaluation for solving problems arising in these applications.
Dutch Athletics Championships
The Dutch Athletics Championships (Dutch: Nederlandse kampioenschappen atletiek) is an annual outdoor track and field competition organised by the Royal Dutch Athletics Federation, which serves as the national championship for the sport in the Netherlands. It is typically held as a two- or three-day event in the Dutch summer, ranging from late June to early August. The venue of the championships varies, though Amsterdam's Olympic Stadium has been a regular host.

Established in 1910 as a men-only competition, the programme expanded to include women's events in 1921.

100 metres hurdles
The 100 metres hurdles, or 100-meter hurdles, is a track and field event run mainly by women (the male counterpart is the 110 metres hurdles). For the race, ten hurdles of a height of 83.8 centimetres (33 in) are placed along a straight course of 100 metres (109.36 yd). The first hurdle is placed after a run-up of 13 metres from the starting line. The next 9 hurdles are set at a distance of 8.5 metres from each other, and the home stretch from the last hurdle to the finish line is 10.5 metres long. The hurdles are set up so that they will fall over if bumped into by the runner, but weighted so this is disadvantageous. Fallen hurdles do not count against runners provided that they do not run into them on purpose. Like the 100 metres sprint, the 100 m hurdles begins with athletes in starting blocks.

The fastest 100 m hurdlers run the distance in well under 13 seconds. The world record set by Tobi Amusan stands at 12.12 seconds.
Magdalena Martullo-Blocher
Magdalena Martullo (German pronunciation: [maɡdaˈleːna marˈtullo];Italian pronunciation: [maɡdaˈleːna marˈtullo]; née Blocher; born 13 August 1969) stylized as Magdalena Martullo-Blocher is a Swiss businesswoman and politician who currently serves on the National Council (Switzerland) for the Swiss People's Party since 2015. Since 2018, she also serves on the executive committee of the Swiss People's Party.

Martullo was born in Männedorf on Lake Zurich as the oldest of four children to billionaire businessman and former Swiss Federal Councillor Christoph Blocher. Her brother is Markus Blocher. Martullo graduated from University of St. Gallen and has worked in a variety of positions, notably for Johnson & Johnson and Rivella. After her father was elected during the 2003 Swiss federal election, Martullo took-over the management of Ems-Chemie, of which she currently holds the controlling share majority with her sister Rahel Blocher.

National Council (Switzerland)
The National Council (German: Nationalrat; French: Conseil national; Italian: Consiglio nazionale; Romansh: Cussegl naziunal) is a house of the Federal Assembly of Switzerland, representing the people. The other house, the Council of States, represents the states. As the powers of the houses are the same, it is sometimes called perfect bicameralism. Both houses meet in the Federal Palace of Switzerland in Bern.

The National Council consists of 200 members. Adult citizens elect the council's members, who are called national Councillors, for four year terms. Members are apportioned to the cantons in proportion to their population.
2018 United States House of Representatives elections in Hawaii
The 2018 United States House of Representatives elections in Hawaii were held on Tuesday, November 6, 2018, to elect the two U.S. representatives from the U.S. state of Hawaii, one from each of the state's two congressional districts. Primaries were held on August 11, 2018. The elections and primaries coincided with the elections and primaries of other federal and state offices.

With the 2018 election results, the Democratic Party easily retained both House seats and retained unitary control over the entirety of Hawaii's Congressional (both House and Senate) delegation.

2004 United States Senate election in Hawaii
The 2004 United States Senate election in Hawaii took place on November 2, 2004 alongside other elections to the United States Senate in other states as well as elections to the United States House of Representatives and various state and local elections. Incumbent Democrat U.S. Senator Daniel Inouye won re-election to an eighth term in yet another landslide with over 75% of the vote, despite the state's relatively close single-digit margin of victory for John Kerry in the concurrent presidential election.
Caudal rib
A caudal rib is a rib that occurs in the tail of a vertebrate. They are commonly present on the more anterior caudal vertebrae of reptiles. In many taxa, they are fused with the vertebrae. In taxa where the caudal ribs are fused to the vertebrae, the terms "transverse process" and "caudal rib" are sometimes used interchangeably, but the caudal rib may form only part of the transverse process.

Rib
In vertebrate anatomy, ribs (Latin: costae) are the long curved bones which form the rib cage, part of the axial skeleton. In most tetrapods, ribs surround the thoracic cavity, enabling the lungs to expand and thus facilitate breathing by expanding the thoracic cavity. They serve to protect the lungs, heart, and other vital organs of the thorax. In some animals, especially snakes, ribs may provide support and protection for the entire body.
Spieth and Krug Brewery
The Spieth and Krug Brewery, also known as "Union Hall" and "Maxey Block", is a brewery established in 1867 in Bozeman, Montana by two German immigrants, Jacob Spieth and Charles Krug. The current building was built in 1882. In 1895, the brewery was bought by Julius Lehrkind, whose descendants still operate beverage businesses in Bozeman.

Bozeman, Montana
Bozeman (/ˈboʊzmən/ BOHZ-mən) is a city in and the county seat of Gallatin County, Montana, United States. The 2020 United States census put Bozeman's population at 53,293, making it Montana's fourth-largest city. It is the principal city of the Bozeman, Montana, Metropolitan Statistical Area, consisting of all of Gallatin County, with a population of 118,960. It is the second-largest of Montana's statistical areas.
Shawna Baker
Shawna S. Baker, a Native American lawyer, citizen of the Cherokee Nation, is the third woman and the first out, two-spirit, lesbian, gay, bisexual, transgender, queer person (LGBTQ+) to be appointed a justice on the Cherokee Nation Supreme Court. Baker is also on the Chuck Hoskin Jr., Principal Chief of the Cherokee Nation, Domestic Violence Task Force which was launched in 2021, and on the Cherokee Nation Health Services’ Ending the HIV Epidemic Committee. She is an advisor to Indian Health Services and on the Ending the HIV Epidemic Committee in Northwest Portland, Oregon, USA. Other roles include being a distinguished alumna in residence at the University of Tulsa College of Law, managing attorney of Family Legacy and Wealth Counsel, PLLC, and a trustee of Oklahomans for Equality in Tulsa, Oklahoma.

Indian Health Service
The Indian Health Service (IHS) is an operating division (OPDIV) within the U.S. Department of Health and Human Services (HHS). IHS is responsible for providing direct medical and public health services to members of federally recognized Native American Tribes including American Indian and Alaska Native people. IHS is the principal federal health care provider and health advocate for Native people in the United States.

The IHS provides health care in 37 states to approximately 2.2 million out of 3.7 million American Indians and Alaska Natives (AI/AN). As of April 2017, the IHS consisted of 26 hospitals, 59 health centers, and 32 health stations. Thirty-three urban Indian health projects supplement these facilities with various health and referral services. Several tribes are actively involved in IHS program implementation. Many tribes also operate their health systems independent of IHS. It also provides support to students pursuing medical education to staff Indian health programs.
Magritte (crater)
Magritte is a crater on Mercury, near the south pole. This crater was likely created by an impact event, as evident by its circular depression. Its name was adopted by the International Astronomical Union in 2012, after the Belgian painter, René Magritte. Magritte is one of several craters on Mercury named after famous artists. Per the Working Group for Planetary System Nomenclature, all Mercury craters are named after an artist who was famous for more than fifty years who has been deceased for more than three years at the time the crater is named.

Magritte is one of 110 peak ring basins on Mercury.

It is located in close proximity to Disney, a crater famous for its resemblance to Mickey Mouse.

Peak ring
A peak ring crater is a type of complex crater, which is different from a multi-ringed basin or central-peak crater. A central peak is not seen; instead, a roughly circular ring or plateau, possibly discontinuous, surrounds the crater's center, with the crater rim still farther out from the center.
Mark Machin
Mark Machin (born 1966) is a British investor who served as President and CEO of the Canada Pension Plan Investment Board between 2016 and 2021.

Machin is currently a non-executive director for Serendipity Capital, a Singapore-based venture capital group. He also sits on the Board of the Atlantic Council and is a member of the 30% Club of Canada, with a mission to achieve at least 30% representation of women on all boards and C-suites globally. He is also the chairman of Society For Project Green Leaf.

Atlantic Council
The Atlantic Council is an American think tank in the field of international affairs, favoring Atlanticism, founded in 1961 by Christian Herter and William L. Clayton. It manages sixteen regional centers and functional programs related to international security and global economic prosperity. It is headquartered in Washington, DC, and is a member of the Atlantic Treaty Association.
Marianne Cope
Marianne Cope, OSF, also known as Marianne of Molokaʻi (born Barbara Koob; January 23, 1838 – August 9, 1918), was a German-born American member of the Sisters of St. Francis of Syracuse. She was founding director of St. Joseph's Hospital in the city, among the first general hospitals in the country. In 1883, she led a group of six other sisters to the Kingdom of Hawaii to care for lepers in Molokaʻi and aid in developing the kingdom's medical infrastructure. Despite direct contact with patients over many years, Cope did not contract the disease. In 2005, she was beatified by Pope Benedict XVI. She was canonized in 2012.

Dicastery for the Causes of Saints
In the Catholic Church, the Dicastery for the Causes of Saints, previously named the Congregation for the Causes of Saints (Latin: Congregatio de Causis Sanctorum), is the dicastery of the Roman Curia that oversees the complex process that leads to the canonization of saints, passing through the steps of a declaration of "heroic virtues" and beatification. After preparing a case, including the approval of miracles, the case is presented to the pope, who decides whether or not to proceed with beatification or canonization.
Kenjira
Kenjira is a 2019 Indian film in the Paniya language, a language spoken by members of the Paniya tribe, a secluded tribe most of whose members are mainly found in the Wayanad District in Kerala State and the neighboring areas of Karnataka State. The film was directed by Manoj Kana. Kenjira and stars Vinusha Ravi as a girl belonging to the Paniya community. All other characters in the film are played by members of the tribal community except for Joy Mathew. The film portrays the highly deplorable social conditions in which the Paniya community live: the humiliations, the exploitation and the helplessness.

The film premiered at the 2019 International Film Festival of Kerala. The film was awarded the Kerala State Film Award for Second Best Film at the 50th Kerala State Film Awards. It also won the 2019 John Abraham Award for Best Malayalam Film.

50th Kerala State Film Awards
The 50th Kerala State Film Awards, presented by the Kerala State Chalachitra Academy were announced by the Minister for Cultural Affairs, A. K. Balan in Thiruvananthapuram on 13 October 2020. A total of 119 films competed for the awards.
Leers
Leers (French pronunciation: [lɛʁs] ⓘ, Dutch: [leːrs]) is a commune in the Nord department in northern France.

It is part of the Métropole Européenne de Lille, and is about 15 km (9.3 mi) northeast of Lille.

Nord (French department)
Nord (French pronunciation: [nɔʁ] ⓘ; officially French: département du Nord; Picard: départémint dech Nord; Dutch: Noorderdepartement, lit. 'northern department') is a department in Hauts-de-France region, France, bordering Belgium. It was created from the western halves of the historical counties of Flanders and Hainaut, and the Bishopric of Cambrai. The modern coat of arms was inherited from the County of Flanders.

Nord is the country's most populous département. It had a population of 2,608,346 in 2019. It also contains the metropolitan region of Lille (the main city and the prefecture of the département), the fourth-largest urban area in France after Paris, Lyon and Marseille. The department is the part of France where the French Flemish dialect of Dutch has historically been spoken as a native language. Similarly, the distinct French Picard dialect Ch'ti is spoken there.
Abdollah Shahbazi
Abdollah Shahbazi (Persian: عبدالله شهبازی; born 1955 in Shiraz, Iran) is an Iranian historian. Shahbazi has been described by many researchers as one of the most influential figures in promoting anti-Bahá'í sentiment and antisemitism in contemporary Iran, and his writings have been characterized as containing clear patterns of hate speech against religious minorities. These works, employing conspiracy-based frameworks, have contributed to the reproduction of discriminatory views at official and media levels. For this reason, his role in the formation and expansion of minority-hostile discourse in the Islamic Republic has been repeatedly criticized.

Persecution of Baháʼís
Baháʼís are persecuted in various countries, especially in Iran, where the Baháʼí Faith originated and where a large Baháʼí population still lives. The persecution stems from the traditional Islamic perspective that Baháʼí teachings are inconsistent with Islamic  beliefs, including the finality of Muhammad's prophethood, and the placement of Baháʼís outside the Islamic religion. Thus, Baháʼís are seen as apostates from Islam.

The United Nations, European Union, rights groups including  Amnesty International and the Human Rights Watch (HRW) and scholarship have documented how the Baháʼí community in Iran has been subjected to the denial of civil rights, false imprisonment, torture, unjustified executions and the confiscation and destruction of property. According to HRW, the Iranian government’s long-term, systematic campaign against the Bahá’ís rises to the level of the crime against humanity of persecution. Baháʼís have also been significantly persecuted in Egypt.
Can't Be Heaven
Can't Be Heaven (also known as Forever Together) is a 1999 American comedy-drama film directed by Richard Friedman. The film stars Ralph Macchio, Bryan Burke, Michelle Trachtenberg, Rachel Ticotin and Diane Ladd. The film was loosely based on the 1968 movie Blackbeard's Ghost.

Rachel Ticotin
Rachel Ticotin Strauss (born November 1, 1958) is an American actress. She has appeared in films such as Fort Apache, The Bronx, Total Recall, Falling Down, and Con Air. She has appeared in the NBC legal drama Law & Order: LA as Lieutenant Arleen Gonzales, and guest starred in the "Warriors" episode of Blue Bloods in 2013 (Season 3, Episode 15), appearing as "Carmen Castillo". She also played Dr. Marie Cerone on the ABC medical drama television series Grey's Anatomy in 2018.
Catterick (TV series)
Catterick, aka Vic and Bob in Catterick, is a surreal 2004 BBC situation comedy in 6 episodes, written by and starring Vic Reeves and Bob Mortimer, with Reece Shearsmith, Matt Lucas, Morwenna Banks, Tim Healy, Mark Benton and Charlie Higson. The series was originally broadcast on BBC Three and later rerun on BBC Two. Reeves has said that the BBC do not want another series of Catterick, though he may produce a spin-off centring on the DI Fowler character.

The series is named after Catterick in North Yorkshire, a village which gives it name to the nearby Catterick Garrison, Britain's largest army base. It is about 10 miles away from Darlington, where Reeves grew up, and about 20 miles away from Middlesbrough, where Mortimer grew up.

Catterick Garrison
Catterick Garrison is a major garrison and military town 3 miles (5 km) south of Richmond, North Yorkshire, England. It is the largest British Army garrison in the world, with a population of around 14,000 in 2021 and covering over 2,400 acres (about 10 km2).
T K Group of Industries
The T K Group of Industries is a Bangladeshi industrial Conglomerate known for its vegetable oil business. It also has interests in steel, shipbuilding, pulp and paper, plastics, cement, and textiles. The conglomerate is headquartered in Chittagong. The group is one of the top VAT payers in the country.

Vegetable oil
Vegetable oils, or vegetable fats, are oils extracted from seeds or from other parts of edible plants. Like animal fats, vegetable fats are mixtures of triglycerides. Soybean oil, canola oil, grapeseed oil, and cocoa butter are examples of seed oils, or fats from seeds. Olive oil, palm oil, and rice bran oil are examples of fats from other parts of plants. In common usage, vegetable oil may refer exclusively to vegetable fats which are liquid at room temperature. Vegetable oils are usually edible and are generally recognized as safe (GRAS) by the United States Food and Drug Administration (FDA).
Brassington Formation
The Brassington Formation is a geological formation in the United Kingdom, and the country's most significant onshore Miocene deposit. it is preserved as around 60 inliers in karsts of Carboniferous limestone, specifically the Peak Limestone Group, in a triangular region on the borders of the Staffordshire and Derbyshire counties. The lithology largely consists of unconsolidated sand with clay and minor silt components. Pebble beds are also a significant component. It is divided up into three members, which are in ascending order the Kirkham Member, Bees Nest Member and the Kenslow Member. The Kenslow Member is dated to the Serravallian to Tortonian stages based on palynology.

Stage (stratigraphy)
In chronostratigraphy, a stage is a succession of rock strata laid down in a single age on the geologic timescale, which usually represents millions of years of deposition.  A given stage of rock and the corresponding age of time will by convention have the same name, and the same boundaries.

Rock series are divided into stages, just as geological epochs are divided into ages. Stages are divided into smaller stratigraphic units called chronozones or substages, and added together into superstages.

The term faunal stage is sometimes used, referring to the fact that the same fauna (animals) are found throughout the layer (by definition).
The Blacklist season 9
The ninth season of the American crime thriller television series The Blacklist premiered on October 21, 2021, on NBC, and ended on May 27, 2022. The season consisted of 22 episodes.

This is the first season without Jon Bokenkamp as showrunner and Megan Boone as Elizabeth Keen. It is also the last season to star Amir Arison as Aram Mojtabai and Laura Sohn as Alina Park.

The season is produced by Davis Entertainment, Universal Television and Sony Pictures Television. All executive producers (except Bokenkamp) remain the same: John Eisendrath, John Davis, Joe Carnahan and John Fox.

Karina Arroyave
Karina Arroyave (born July 16, 1969) is a Colombian-American actress. She began her career starring as Bianca Marquez Walsh in the CBS daytime soap opera As the World Turns (1989–1994), and later made her big screen debut appearing in the biographical drama film Lean On Me (1989). Arroyave later had supporting roles in a number of movies and played recurring roles on television series 24 (2001–2002) as Jamey Farrell, Orange Is the New Black (2019) as Karla Cordova, and The Blacklist (2021–2022) as Mierce Xiu.
Carcegna
Carcegna is a small village located above the eastern shore of Lake Orta, at an altitude of 490m, in the Province of Novara, Piedmont, Italy. 
Administratively a frazione of the commune of  Miasino, it has 260 inhabitants, called Carcegnesi. Its patron saint is Saint Peter, celebrated on 29 June.

Archaeological excavations have brought to light  Gaulish, Gallo-Roman and Etruscan remains. In the outskirts of the village there are ruins of a fortification, probably of Lombard origin.

The village is mentioned in the "Liber Cleri" as dependent of the parish church of San Giulio di Orta in 1133.

The current church was built in 1661 over the foundations of the preceding Romanesque one. It has paintings by Luigi Scaramuccia, Giorgio Bonola and Federico Bianchi, and frescos by Luca Rossetti.

45°48′N 8°25′E﻿ / ﻿45.800°N 8.417°E﻿ / 45.800; 8.417

Province of Novara
The province of Novara (Italian: provincia di Novara) is a province in the Piedmont region of Italy. Its capital is the city of Novara.

In 1992, the new province of Verbano-Cusio-Ossola was created through the fusion of three geographical areas which had previously been part of the province of Novara.

It has an area of 1,339 square kilometres (517 sq mi) and a population of 362,925 (2021). The province contains 87 comuni (sg.: comune) (see list of comuni of the province of Novara).