hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Type inhabitation
In type theory, a branch of mathematical logic, in a given typed calculus, the type inhabitation problem for this calculus is the following problem: given a type  and a typing environment , does there exist a -term M such that ? With an empty type environment, such an M is said to be an inhabitant of .

Typing environment
In type theory, a typing environment (or typing context) represents the association between variable names and data types.

More formally, an environment  is a set or ordered list of pairs , usually written as , where  is a variable and  its type.

The judgement

is read as " has type  in context  ".

For each function body type checks:

Typing Rules Example:

In statically typed programming languages, these environments are used and maintained by typing rules to type check a given program or expression.
Itô diffusion
In mathematics – specifically, in stochastic analysis – an Itô diffusion is a solution to a specific type of stochastic differential equation. That equation is similar to the Langevin equation used in physics to describe the Brownian motion of a particle subjected to a potential in a viscous fluid.  Itô diffusions are named after the Japanese mathematician Kiyosi Itô.

Hitting time
In the study of stochastic processes in mathematics, a hitting time (or first hit time) is the first time at which a given process "hits" a given subset of the state space. Exit times and return times are also examples of hitting times.
Chun Beeho
Chun Beeho (Korean: 전비호; born 1957) is a South Korean diplomat, professor and global business consultant. He served as ROK's  plenipotentiary ambassador to Mexico from May, 2015 to December, 2017 as well as plenipotentiary ambassador to Bulgaria from 2010 to 2013. He has been a distinguished/visiting professor of Sungkyunkwan University in Seoul in the Republic of Korea since March 2018, giving a lecture on global supply chain crisis and global business strategy.

Currently, he is serving as the vice president of the Korean Council on Foreign Relations, of which members are incumbent and retired diplomats and ambassadors.

He is the CEO of MnM Institute Limited, giving business consulting.  He is an administrative attorney and an External Director of JW Pharmaceutical Co. 
and President of Organizing Committee and Chair of international cooperation of International Robot Olympiad (IRO).

Sofia University
Sofia University "St. Kliment Ohridski" (Bulgarian: Софийски университет „Св. Климент Охридски“) is a public research university in Sofia, Bulgaria. It is the oldest institution of higher education in Bulgaria.

Founded on 1 October 1888, the edifice of the university was constructed between 1924 and 1934 with the financial support of the brothers Evlogi Georgiev and Hristo Georgiev (whose sculptures are now featured on its façade) and has an area of 18,624 m2 and a total of 324 premises. The university has 16 faculties and three departments, where over 21,000 students receive their education. The current rector is Georgi Valchev.
Gi Santos
Giovanna dos Santos Nascimento (born 22 April 1997), known as Gi Santos, is a Brazilian women's association football defender, who plays for Damaiense in Portugal's Campeonato Nacional Feminino. She previously played for Avaldsnes IL in Norway's Toppserien, and played in Brazil, Colombia, Portugal, and Turkey. She was a member of the Brazil women's national U20 team.

2016 Copa Libertadores Femenina
The 2016 Copa Libertadores Femenina was the eighth edition of the Copa Libertadores Femenina, South America's premier women's club football tournament organized by CONMEBOL. The tournament was played in Uruguay from 6 to 20 December 2016.

In the first final without a team from Brazil, Paraguayan team Sportivo Limpeño won their first title against Estudiantes de Guárico from Venezuela.
V1936 Aquilae
V1936 Aquilae is a blue supergiant and candidate Luminous blue variable located in the nebula Westerhout 51, in the constellation Aquila, about 20,000 light years away. The star was originally identified as a massive star in 2000, and was thought to be an O-type supergiant. However, subsequent analyses have shown it to be not O but B-type, as well as being possibly an LBV. The star was shown to be a variable star by Luboš Kohoutek and R. Wehmeyer in 2004.

Aquila (constellation)
Aquila is a constellation on the celestial equator. Its name is Latin for 'eagle' and it represents the bird that carried Zeus/Jupiter's thunderbolts in Greek-Roman mythology.

Its brightest star, Altair, is one vertex of the Summer Triangle asterism. The constellation is best seen in the northern summer, as it is located along the Milky Way. Because of this location, many clusters and nebulae are found within its borders, but they are dim and galaxies are few.
Storvatnet (Averøy)
Storvatnet ("the big lake") is the biggest lake on Averøya island in Norway. It is located between the small urban areas of Bådalen and Bruhagen. Storvatnet has an area of 0,76 km2 and its maximum width/length is 1,2 by 1,1 kilometres. Storvatnet is a drinking water reservoir.

Bruhagen
Bruhagen is the administrative center of Averøy Municipality in Møre og Romsdal county, Norway. The village is located on the east side of the island of Averøya, about midway between the villages of Bremsnes and Kvernes. Norwegian County Road 64 runs through the village.
Cawthron Institute
The Cawthron Institute is a research institution in Nelson, New Zealand focused on freshwater and marine research. It was founded in 1919 by Thomas Cawthron and is New Zealand's largest independent science organisation. The institute employs approximately 300 scientists, laboratory technicians, researchers, and specialist staff from 26 countries.

Research institute
A research institute, research centre, or research organization is an establishment founded for doing research. Research institutes may specialize in basic research or may be oriented to applied research. Although the term often implies natural science research, there are also many research institutes in the social science as well, especially for sociological and historical research purposes.
Low-level laser therapy
Low-level laser therapy (LLLT), cold laser therapy or photobiomodulation (PBM) is a photochemical reaction-based medical treatment that applies low-level (low-power) lasers or light-emitting diodes (LEDs) to the surface of the body without damaging tissue. Proponents claim that this treatment stimulates healing, relieves pain, and enhances cell function. Sometimes termed as low-level red-light therapy (LLRL), its effects appear to be limited to a specific range of wavelengths. Its effectiveness is under investigation. Several such devices are cleared by the United States Food and Drug Administration (FDA). The therapy may be effective for conditions such as juvenile myopia, rheumatoid arthritis, and oral mucositis.

Cochrane Library
The Cochrane Library (named after Archie Cochrane) is a collection of databases in medicine and other healthcare specialties provided by Cochrane and other organizations. At its core is the collection of Cochrane Reviews, a database of systematic reviews and meta-analyses that summarize and interpret the results of medical research. The Cochrane Library aims to make the results of well-conducted clinical trials readily available and is a key resource in evidence-based medicine.
Vanlandi
Vanlandi or Vanlande (Old Norse: "Man from the Land of the Vanir") was, according to Norse mythology, a Swedish king who ruled at Uppsala as part of the House of Yngling. He was the son of Sveigðir, whom he succeeded as king.

Vanlandi married a woman named Drífa from Finnland but later abandoned her. In retaliation, Drífa sought revenge by enlisting a sorceress to curse him. As a result, Vanlandi was hag-ridden to death. He was succeeded by his son, Visbur.

Historia Norwegiæ
Historia Norwegiæ is a brief history of Norway written in Latin by an anonymous monk. The only surviving copy is in the private possession of the Earl of Dalhousie, and is now kept in the National Records of Scotland in Edinburgh. This manuscript contains eight historical texts in total, with the Historia in folios 1r–12r. The manuscript was copied around 1500–1510, but the work itself is considered to have been written much earlier. Scholarly estimates on its date of composition have ranged from the 1150s to as late as c. 1300, but a majority of researchers favor a date between 1170 and 1220.

Historia Norwegiæ belongs to a group of medieval Norwegian histories known as the "Norwegian synoptics," alongside the Latin Historia de antiquitate regum Norwagiensium by Theodoricus monachus and the Old Norse vernacular text Ágrip af Nóregskonungasögum.
R581 road (Ireland)
The R581 road is a regional road in Ireland which runs from the N20 at New Twopothouse village to Doneraile in County Cork.

The road is 8km long.

In 2012 and 2013 the R581 was realigned to straighten it and to bypass some habitations. In 2011 archeological investigations in advance of the realignment were conducted by Rubicon Heritage and revealed the site of the former Caherduggan Castle east of Old Twopothouse at 52°11′53″N 8°37′41″W﻿ / ﻿52.1981°N 8.6281°W﻿ / 52.1981; -8.6281.

N20 road (Ireland)
The N20 road is a national primary road in Ireland, connecting the cities of Cork and Limerick. Buttevant, Croom, Charleville, Mallow and Blarney are major towns along the route. A short section of the route (from Limerick to Patrickswell) is motorway standard and is designated as the M20 Motorway.
Virginia's 61st House of Delegates district
Virginia's 61st House of Delegates district elects one of 100 seats in the Virginia House of Delegates, the lower house of Virginia's bicameral state legislature. District 61 represents Amelia, Cumberland, Mecklenburg, and Nottoway counties as well as part of Lunenburg County. The seat is currently held by Republican Thomas C. Wright Jr.

Cumberland County, Virginia
Cumberland County is a quiet, rural United States county located near the geographic center of the Commonwealth of Virginia.  The county's population is 9,675, as of the 2020 census, and the county seat is the small town of Cumberland.

The county was created in 1749 from part of Goochland County, and was named in honor of  Prince William Augustus, the Duke of Cumberland at the time.  In April 1776, it became the first Virginia county to call for independence from Great Britain.
AHL Outdoor Classic
Teams in the American Hockey League first hosted games outdoors in 2010. Paralleling the National Hockey League's Winter Classic and Heritage Classic, these outdoor games frequently pit two regional rivals in a game in an outdoor venue. In as much as the games have carried a unified brand (most have been independently named and organized), the most commonly used name for these events has been the Outdoor Classic.

Cleveland Monsters
The  Cleveland Monsters are a professional ice hockey team based in Cleveland. They are the American Hockey League (AHL) affiliate of the Columbus Blue Jackets of the National Hockey League (NHL). The Monsters play home games at Rocket Arena in downtown Cleveland and have one Calder Cup championship, after winning their first title in 2016. The team has ever since held one of the highest attendance averages in the AHL, leading the league in the COVID-19 pandemic-shortened 2019–20 AHL season and all seasons since 2022-23.
Yenikaş
Yenikaş is a neighbourhood in the municipality and district of Aydıncık, Mersin Province, Turkey. Its population is 1,016 (2022). It is a coastal village on state highway D.400.  Distance to Aydıncık is 4 kilometres (2.5 mi) and to Mersin is 174 kilometres (108 mi). According to Sir Francis Beaufort, the village was situated in an ancient settlement named Melanie by Strabo, but modern scholarship points to the site being that of Myus. The village was founded by once nomadic Karakeçili tribe of Turkmens.

Mersin
Mersin (pronounced [ˈmæɾsin]) is a large city and port on the Mediterranean coast of southern Turkey. It is the provincial capital of the Mersin Province (formerly İçel). It is made up of four district governorates, each having its own municipality: Akdeniz, Mezitli, Toroslar and Yenişehir.

A larger metropolitan region which combines Mersin with Tarsus and Erdemli houses more than 1.7 million inhabitants. Çukurova International Airport (COV) situated 50 kilometres (31 miles) from Mersin city centre, is its closest international airport. There are ferry services from Mersin to Famagusta (Mağusa) in Northern Cyprus. Mersin is linked to Adana via Tarsus by way of TCDD trains.
Douglas M. Fraser
Douglas Malcolm Fraser  (born April 16, 1950), is a United States Air Force (USAF) general who served as the Commander, United States Southern Command (USSOUTHCOM). He was the first USAF officer to become USSOUTHCOM's combatant commander. He previously served as Deputy Commander, United States Pacific Command from April 2008 to June 24, 2009. He assumed his final assignment on June 25, 2012.

405th Air Expeditionary Wing
The 405th Air Expeditionary Wing (405 AEW) is a provisional United States Air Force unit assigned to Air Combat Command.  It may be activated or inactivated at any time.

Currently, it is believed that the 405 AEW is inactive.
Headphone Dust
Headphone Dust is an English independent record label founded by the musician Steven Wilson. It's almost entirely focused on releasing Wilson's own music as well as his remixes of other artists. The only exception to this is the Irish band Fovea Hex.

Incredible Expanding Mindfuck
Incredible Expanding Mindfuck, commonly abbreviated as I.E.M., was a solo project by Steven Wilson (the lead of British rock band Porcupine Tree). Its work was mainly influenced by Krautrock and experimental music from the 1960s and 1970s.
Seyd Nazari-ye Olya
Seyd Nazari-ye Olya (Persian: صيدنظري عليا) is a village in, and the capital of, Asemanabad Rural District of Asemanabad District, Chardavol County, Ilam province, Iran. The previous capital of the rural district was the village of Seyd Nazari-ye Sofla.

Asemanabad District
Asemanabad District (Persian: بخش آسمان آباد) is in Chardavol County, Ilam province, Iran. Its capital is the city of Asemanabad, whose population at the time of the 2016 National Census was 6,280 people in 1,660 households.
Pseudofluda
Pseudofluda is a genus of South American jumping spiders that was first described by Cândido Firmino de Mello-Leitão in 1928. As of August 2019 it contains only three species, found only in Brazil and Argentina: P. capandegui, P. pergeri, and P. pulcherrima. The name is a combination of the Ancient Greek "pseudo-" (ψευδής), meaning "false", and the salticid genus name Fluda.

The male of this species is 2.5 millimetres (1⁄10 in) long. The cephalothorax is chestnut-colored to black, with a chestnut colored spot on the posterior region. A white line goes along the length of the cephalothorax. The back of the abdomen is tawny with violet and green metallic scales. The species was first found in Petropolis, Brazil.

Jumping spider
Jumping spiders are spiders in the family Salticidae, with almost 700 genera and around 7,000 described species, making it the largest family of spiders – comprising 13% of spider species. Jumping spiders have some of the best vision among arthropods — being capable of stereoptic color vision — and use sight in courtship, hunting, and navigation.

Although they normally move unobtrusively and fairly slowly, most species are capable of very agile jumps, notably when hunting, but sometimes in response to sudden threats or crossing long gaps. Both their book lungs and tracheal system are well-developed, and they use both systems (bimodal breathing). Jumping spiders are generally recognized by their eye pattern. All jumping spiders have four pairs of eyes, with the anterior median pair (the two front middle eyes) being particularly large.
Pied shrike-babbler
The pied shrike-babbler (Pteruthius flaviscapis) is a bird species traditionally considered an aberrant Old World babbler and placed in the family Timaliidae. But as it seems, it belongs to an Asian offshoot of the American vireos and may well belong in the Vireonidae. Indeed, since long it was noted that their habits resemble those of vireos, but this was believed to be the result of convergent evolution.

It is endemic to Java. It was formerly considered a subspecies of the white-browed shrike-babbler.

White-browed shrike-babbler
The white-browed shrike-babbler (Pteruthius aeralatus) is a bird species found in the eastern Himalayas and Southeast Asia from northern Burma to southern Cambodia. Like others in the genus it is found in montane forests. Males and females have different plumages and variations occur through its range with several populations being treated as subspecies. It is part of a cryptic species complex and was earlier lumped as a subspecies of the white-browed shrike-babbler. Clements lumps this bird into the white-browed shrike-babbler.
Chukwuebuka Enekwechi
Chukwuebuka Cornnell Enekwechi Listenⓘ (born 28 January 1993) is a track and field athlete, specializing in throwing events. Born in the United States, he competes internationally for Nigeria. He is the 2018 Commonwealth Games Silver medalist and reigning African Champion in the shot put. He is also the 2019 African Games Champion and the reigning Nigerian National Sports Festival Champion.

Hammer throw
The hammer throw (Abbreviated as HT) is one of the four throwing events in regular outdoor track-and-field competitions, along with the discus throw, shot put and javelin.

The hammer used in this sport is not like any of the tools also called by that name. It consists of a metal ball attached by a steel wire to a grip. These three components are each separate and can move independently. Both the size and weight of the ball vary between men's and women's events. The men's hammer weighs 7.26 kilograms (16 lb) for college and professional meets; the women's hammer weighs 4 kilograms (8.8 lb).
Maurice Barrès
Auguste-Maurice Barrès (French: [oɡyst mɔʁis baʁɛs]; 19 August 1862 – 4 December 1923) was a French novelist, journalist, philosopher, and politician. Spending some time in Italy, he became a figure in French literature with the release of his work The Cult of the Self in 1888. He was elected a member of the Académie Française in 1906.

In politics, Barrès was first elected to the Chamber of Deputies in 1889 as a Boulangist and would play a prominent political role for the rest of his life. He presided over the Ligue des Patriotes from 1914 until his death in 1923.

Artistic symbol
In works of art, literature, and narrative, a symbol is a concrete element like an object, character, image, situation, or action that suggests or hints at abstract, deeper, or non-literal meanings or ideas. The use of symbols artistically is symbolism. In literature, such as novels, plays, and poems, symbolism goes beyond just the literal written words on a page, since writing itself is also inherently a system of symbols.

Artistic symbols may be intentionally built into a work by its creator, which in the case of narratives can make symbolism a deliberate narrative device. However, it also may be decided upon by the audience or by a consensus of scholars through their interpretation of the work. Various synonyms exist for this type of symbol, based on specific genre, artistic medium, or domain: visual symbol, literary symbol, poetic symbol, etc.
1992 Volta a la Comunitat Valenciana
The 1992 Volta a la Comunitat Valenciana was the 50th edition of the Volta a la Comunitat Valenciana road cycling stage race, which was held from 18 February to 23 February 1992. The race started in Jávea and finished in Valencia. The race was won by Melcior Mauri of the ONCE team.

Volta a la Comunitat Valenciana
The Volta a la Comunitat Valenciana (Valencian pronunciation: [ˈvɔlta a la komuniˈtad valensiˈana]; English: Tour of the Valencian Community or Tour of Valencia) is a road cycling stage race held in the Valencian Community (Comunitat Valenciana), Spain. Its position in the cycling calendar means it is often used as preparation for the spring classics or the Grand Tours which take place later in the season.

No editions of the race were held between 2008 and 2015 because of funding issues. A first attempt to revive it for the 2010–11 UCI Europe Tour was unsuccessful. During 2015 a second attempt was started by Ángel Casero and his brother Rafael. In September the UCI granted the race a 2.1 status and made way for the return of the race which took place in early February. The race became part of the new UCI ProSeries in 2020.
Higashimatsushitachō, Tokyo
Higashimatsushitachō (東松下町), or officially Kanda-Higashimatsushitachō (神田東松下町), is a district of Chiyoda, Tokyo, Japan. As of April 1, 2007, the district's population is 198. Its postal code is 101-0042.

Kanda-Higashimatsushitachō is located on the northeastern part. It borders Kanda-Sudachō to the north, Iwamotochō and Kanda-Iwamotochō to the east, Kanda-Higashikonyachō to the south, Kanda-Konyachō and Kanda-Tomiyamachō to the southwest, and Kanda-Kajichō to the west.

Kanda-Higashimatsushitachō is a business district located near the east exit of the Kanda Station.

Kanda-Sudachō, Tokyo
Sudachō (須田町), officially Kanda-Sudachō (神田須田町), is a district of Chiyoda, Tokyo, Japan, consisting of 1-chōme and 2-chōme. As of April 1, 2007, its population is 1,019.

This district is located on the northeastern part of Chiyoda Ward. It borders (across Kanda River) Soto-Kanda and Kanda-Sakumachō on the north, Kanda-Iwamotochō on the east, Kanda-Kajichō and Kajichō on the south, and Kanda-Awajichō, Kanda-Ogawamachi and Kanda-Tachō on the west.

Sudachō once had a terminal which served for a number of the Tokyo City Streetcar lines. It is one of the few areas that survived the bombing of Tokyo in World War II , resulting in many historic buildings still existing.

At one time Creatures Inc. had its headquarters in the Nintendo Kanda Building (任天堂神田ビル, Nintendō Kanda Biru) in Sudachō.
Sunwing Airlines
Sunwing Airlines Inc, d/b/a Sunwing, was a Canadian low-cost airline headquartered in Toronto, Ontario with its main bases at Montréal–Trudeau International Airport and Toronto Pearson International Airport. Originally owned by Sunwing Travel Group, from 2023 onwards it was a subsidiary of WestJet, with which it merged on May 28, 2025.

Minister of Transport (Canada)
The minister of transport (French: ministre des transports) is a minister of the Crown in the Canadian Cabinet. The minister is responsible for overseeing the federal government's transportation regulatory and development department, Transport Canada, the Saint Lawrence Seaway, Nav Canada, and the Port Authority system. Since September 16, 2025, the position has been held by Steven MacKinnon of the Liberal Party.
2022 Rajasthan Royals season
Rajasthan Royals (RR) is a franchise cricket team based in Rajasthan, India, which has played in the Indian Premier League (IPL) since the first edition of the tournament in 2008. They were one of ten teams to compete in the 2022 Indian Premier League. The Royals have previously lifted the IPL title once, in the inaugural season.

The side finished as the runners-up in the season.

2008 Indian Premier League
The 2008 Indian Premier League season was the inaugural season of the Indian Premier League, established by the BCCI in 2007. The season commenced on 18 April 2008 with the final match was held on 1 June 2008. The competition started with a double round robin league stage, in which each of the 8 teams played a home match and an away match against every other team. These matches were followed by two semi-finals and a final.

In a match which went down to the last ball, Rajasthan Royals defeated Chennai Super Kings in the final to win the title, with Yusuf Pathan named the player of the match in the Finals and Shane Watson adjudged the player of the tournament. Sohail Tanvir won the purple cap for being the top wicket-taking bowler while Shaun Marsh won the orange cap for leading run-scorer in the tournament. Shreevats Goswami was awarded the best under-19 player award and the special award for Fair Play was won by the CSK.