hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Encompassment ordering
In theoretical computer science, in particular in automated theorem proving and term rewriting,
the containment, or encompassment, preorder (≤) on the set of terms, is defined by

s ≤ t if a subterm of t is a substitution instance of s.

It is used e.g. in the Knuth–Bendix completion algorithm.

Substitution (logic)
A substitution is a syntactic transformation on formal expressions.
To apply a substitution to an expression means to consistently replace its variable, or placeholder, symbols with other expressions.

The resulting expression is called a substitution instance, or  instance for short, of the original expression.
Beatopia
Beatopia is the second studio album by Filipino-English singer and songwriter Beabadoobee. It was released on English independent label Dirty Hit on 15 July 2022. It features collaborations with singer PinkPantheress, Matty Healy and George Daniel of the 1975, Cavetown, and Jack Steadman of Bombay Bicycle Club.

Jack Steadman
Jack Steadman (born 1989 or 1990), also known by the name of his solo project Mr Jukes (sometimes stylised as mr jukes), is an English singer-songwriter, musician, and record producer best known as the vocalist and primary songwriter of the indie rock band Bombay Bicycle Club since its formation in 2005. He released his debut album as Mr Jukes, God First, in 2017.
Subhanpura
Subhanpura  is an urban area in the western side of Vadodara City, in the state of Gujarat, in India.

It was a small village, which has merged with the ever growing western part of Vadodara city. Subhanpura is largely residencial with a few shopping malls and cinemas. The majority of the population are workers from the nearby Gujarat Refinery and Indian Petrochemicals Corporation Limited.

22°19′18″N 73°09′18″E﻿ / ﻿22.3217°N 73.1550°E﻿ / 22.3217; 73.1550

Vadodara
Vadodara (Gujarati: [ˌʋəˈɖo.d̪ɾɐ̯] ⓘ), also known as Baroda, is a city on the banks of the Vishwamitri River in the Indian state of Gujarat. It serves as the administrative headquarters of the Vadodara district. The city is named for its abundance of banyan (vad) trees. Vadodara is also locally referred to as the Sanskrutik Nagari (transl. 'Cultural City') and Kala Nagari (transl. 'City of Art') of India.

The city is prominent for landmarks such as the Laxmi Vilas Palace, which served as the residence of the Maratha royal Gaekwad dynasty that ruled over Baroda State. It is also the home of the Maharaja Sayajirao University of Baroda.
Chesapeake Beach railway station
The Chesapeake Beach railway station is a historic railway station located at Chesapeake Beach, Calvert County, Maryland, United States. It is composed of two one-story, hip-roofed sections; one part was once an open passenger boarding area that was later enclosed for storage. The station was erected in 1898, for the Chesapeake Beach Railway. It is now operated as a railway museum.

The Chesapeake Beach Railway Station was listed on the National Register of Historic Places in 1980.

Calvert County, Maryland
Calvert County is a county located in the U.S. state of Maryland. As of the 2020 United States census, its population was 92,783. Its county seat is Prince Frederick. The county's name is derived from the family name of the Barons of Baltimore, the proprietors of the English Colony of Maryland. Calvert County is included in the Washington–Arlington–Alexandria metropolitan statistical area. It occupies the Calvert Peninsula, which is bordered on the east by Chesapeake Bay and on the west by the Patuxent River. The county has one of the highest median household incomes in the United States. It is one of the older counties in Maryland, after St. Mary's, Kent, and Anne Arundel Counties. The county is part of the Southern Maryland region of the state.
Engen station
Engen station is a railway station in the municipality of Engen, located in the Konstanz district in Baden-Württemberg, Germany. It is located on the standard gauge Black Forest Railway of Deutsche Bahn.

Singen (Hohentwiel) station
Singen (Hohentwiel) station is an important regional railway junction station and interchange station in the town of Singen in the south of the German state of Baden-Württemberg. Three railways now meet there, but in the past five lines connected to it. The station is served by InterCity trains on the Stuttgart–Zurich route and several regional trains.

It is one of three railway stations in Singen, the other two being Singen-Landesgartenschau and Singen-Industriegebiet.
Peter Trunk
Peter Trunk (May 17, 1936, Frankfurt – December 31, 1973, New York) was a German jazz double-bassist.

Trunk played late in the 1950s in concert and on radio with Kenny Clarke, Stan Getz, Albert Mangelsdorff, and Zoot Sims. During this time he also recorded with Hans Koller. In the 1960s, he worked with Benny Bailey, Don Byas, Klaus Doldinger, Dusko Goykovich, Volker Kriegel, Tete Montoliu, Manfred Schoof, Lucky Thompson and Ben Webster. In 1972 he recorded with Kurt Edelhagen. On New Year's Eve, 1973, he was killed in a car accident.

Tete Montoliu
Vicenç Montoliu i Massana, better known as Tete Montoliu (28 March 1933 – 24 August 1997) was a Spanish jazz pianist from Catalonia, Spain. Born blind, he learnt braille music at age seven. His styles varied from hard bop, through Afro-Cuban, world fusion, to post bop. He recorded with Lionel Hampton in 1956 and played with saxophonist Roland Kirk in 1963. He also worked with leading American jazz musicians who toured in, or relocated to Europe including Kenny Dorham, Dexter Gordon, Ben Webster, Lucky Thompson, and Anthony Braxton. Tete Montoliu recorded two albums in the US, and recorded for Enja, SteepleChase Records, and Soul Note in Europe.
2004 Philippine Senate election
The 2004 election of members to the Senate of the Philippines was the 28th election to the Senate of the Philippines. It was held on Monday, May 10, 2004, to elect 12 of the 24 seats in the Senate. The major coalitions that participated are the Koalisyon ng Katapatan at Karanasan sa Kinabukasan, composed of parties that support the candidacy of President Gloria Macapagal Arroyo, and the Koalisyon ng Nagkakaisang Pilipino, composed of parties that support the candidacy of film actor Fernando Poe Jr. coalition. The Alyansa ng Pag-asa was a minor coalition made up of Aksyon Demokratiko and Partido para sa Demokratikong Reporma–Lapiang Manggagawa. K4 won seven seats, while the KNP won the remaining five contested seats.

The elections were notable for several reasons. This election first saw the implementation of the Overseas Absentee Voting Act of 2003 (see Wikisource), which enabled Filipinos in over 70 countries to vote.

Aksyon Demokratiko
Aksyon Demokratiko ([ʔɐkˌʃon dɛ.moˌkɾaː.tɪˈxo], lit. 'Democratic Action'), or simply Aksyon, is a political party in the Philippines founded by Raul Roco. It was recognized as a national political party in 1998 by the Commission on Elections (COMELEC) and is considered to be one of the major parties in the Philippines. Manila Mayor Isko Moreno currently acts as president of the party.
Jiang Dongxu
Jiang Dongxu (Chinese: 姜东旭; pinyin: Jiāng Dōngxù; born March 3, 1993) is a Chinese curler from Harbin. He represented China at the 2022 Winter Olympics as the alternate on the Chinese men's team skipped by Ma Xiuyue. He also won a silver medal at the 2018 Pacific-Asia Curling Championships.

Curling at the 2022 Winter Olympics – Men's tournament
The men's curling tournament of the 2022 Winter Olympics was held at the Beijing National Aquatics Center from 9 to 19 February 2022. Ten nations competed in a round robin preliminary round, and the top four nations at the conclusion of the round robin qualified for the medal round.
312th Airlift Squadron
The 312th Airlift Squadron is a United States Air Force Reserve squadron, assigned to the 349th Operations Group stationed at Travis Air Force Base, California. It is an associate unit of the 22d Airlift Squadron, 60th Air Mobility Wing. It operates C-5M Galaxy aircraft supporting United States Air Force operations worldwide. Its mission is to provide services and support which promote quality of life and project global power through airlift and airdrop.

22nd Airlift Squadron
The 22nd Airlift Squadron, sometimes written as 22d Airlift Squadron, is part of the 60th Air Mobility Wing at Travis Air Force Base, California. It operates C-5M Galaxy aircraft supporting the United States Air Force global reach mission worldwide. The mission is to provide services and support which promote quality of life and project global power through combat-proven airlift and airdrop.
Oakland Mall
Oakland Mall is an enclosed super-regional shopping mall in Troy, Michigan. It is located in the northwest corner of the intersection of 14 Mile and John R. roads, adjacent to Interstate 75 (Chrysler Freeway). The mall features 116 stores, including a food court, plus several big-box stores on the periphery.  The mall has 1,500,000 square feet (140,000 m2).  It is anchored by JCPenney, Dick's Sporting Goods, At Home, Slime Studio, and Hobby Lobby.

Hobby Lobby
Hobby Lobby Stores, Inc., formerly Hobby Lobby Creative Centers, is an American chain of retail arts and crafts stores with a volume of over $5 billion in 2018. The chain has 1,001 stores in 48 U.S. states. The Green family founded Hobby Lobby to express their evangelical Protestant beliefs and the chain incorporates American conservative values and Christian media.
Juliette Nesville
Juliette Nesville was the stage name of Juliette-Hortense Lesne (30 July 1869 – 26 July 1900), a French singer and actress in operetta and musicals, who made most of her short career in London, after early success in Paris and Brussels.

After training at the Paris Conservatoire Nesville appeared in opéras comiques by Paul Lacôme, Robert Planquette, Edmond Audran and Charles Lecocq in 1890. After a highly successful appearance in the Brussels production of Audran's Miss Helyett she was engaged by the English manager Charles Wyndham in 1891 to play the part in London. She then appeared for George Edwardes in a succession of West End musical comedies during the rest of the decade, interspersed with two non-musical plays for other managements. She died in Paris after a short illness while appearing there in 1900, aged thirty.

Edmond Audran
Achille Edmond Audran (12 April 1840 – 17 August 1901) was a French composer best known for several internationally successful comic operas and operettas.

After beginning his career in Marseille as an organist, Audran composed religious music and began to write works for the stage in the 1860s and 1870s. Among these, Le grand mogol (1877) was the most popular and was later revived in Paris, London and New York. In 1879 he moved to Paris, where some of his pieces achieved considerable success both in France and abroad, including Les noces d'Olivette (1879), La mascotte (1880), Gillette de Narbonne (1882), La cigale et la fourmi (1886), Miss Helyett (1890) and La poupée (1896).

Most of his works are now neglected, but La mascotte has been revived occasionally and has been recorded for the gramophone.
Long Island Academy
Long Island Academy is an American soccer team based in Hempstead, New York, United States. Founded in 2006, the team plays in the National Premier Soccer League (NPSL), a national amateur league at the fourth tier of the American Soccer Pyramid, in the Northeast Atlantic Division.

The team plays its home games on the Competition Field on the campus of Adelphi University in nearby Garden City, New York, where they have played since 2007. The team's colors are red, navy blue, and white.

The team also has a sister organization, the Long Island Fury, which plays in the WPSL.

Adelphi University
Adelphi University is a private university in Garden City, New York, United States. Adelphi also has centers in Downtown Brooklyn, Hudson Valley, and Suffolk County in addition to a virtual, online campus for remote students. As of 2019, it had about 7,859 undergraduate and graduate students.
Gary Hickinbottom
Sir Gary Robert Hickinbottom PC (born 22 December 1955) is a British judge who currently serves as President of Welsh Tribunals and as Knight Principal of the Imperial Society of Knights Bachelor. In 2008, he became the fourth solicitor to be appointed a High Court judge, after Michael Sachs in 1993, Lawrence Collins in 2000, and Henry Hodge in 2004.

Lawrence Collins, Baron Collins of Mapesbury
Lawrence Antony Collins, Baron Collins of Mapesbury PC, FBA (born 7 May 1941) is a British judge and former Justice of the Supreme Court of the United Kingdom. He was also appointed to the Court of Final Appeal of Hong Kong on 11 April 2011 as a non-permanent judge from other common law jurisdictions. He resigned from the court on 6 June 2024 due to the political situation in Hong Kong.

He was formerly a partner in the British law firm Herbert Smith. He is now a full time international arbitrator, Chair of Laws at UCL Faculty of Laws.
P2J
Richard Olowaranti Mbu Isong (born 11 July 1987), known professionally as P2J is a Nigerian-British producer from London, England. He has produced for high-profile pop artists including Beyoncé, Wizkid, Stormzy, FKA Twigs, Burna Boy, Tems, and Doja Cat, among others.

FKA Twigs
Tahliah Debrett Barnett (born 16 January 1988), known professionally as FKA Twigs, is an English singer, songwriter, record producer, actor, and dancer. She was a backup dancer for numerous musicians, and made her musical debut with EP1 (2012). Barnett's debut studio album, LP1 (2014), reached number 16 on the UK Albums Chart and number 30 on the US Billboard 200. It was nominated for that year's Mercury Prize. She then released the EP M3LL155X (2015).

Barnett took a four-year hiatus before releasing her second studio album, Magdalene (2019). After signing with Atlantic Records, she released the mixtape Caprisongs (2022). Her third and fourth studio albums, Eusexua and Eusexua Afterglow, were released in 2025. At the 68th Annual Grammy Awards, Eusexua received the award for Best Dance/Electronic Album. Her work has garnered critical acclaim and has been described as "genre-bending", drawing on various genres including electronic music, trip hop, R&B, hyperpop, and the avant-garde.
Larry Heck
Larry Paul Heck is the Rhesa Screven Farmer, Jr., Advanced Computing Concepts Chair, Georgia Research Alliance Eminent Scholar, Co-Executive Director of the Machine Learning Center and Professor at the Georgia Institute of Technology.  His career spans many of the sub-disciplines of artificial intelligence, including conversational AI, speech recognition and speaker recognition, natural language processing, web search, online advertising and acoustics. He is best known for his role as a co-founder of the Microsoft Cortana Personal Assistant and his early work in deep learning for speech processing.

Natural language processing
Natural language processing (NLP) is the processing of natural language information by a computer. NLP is a subfield of computer science and is closely associated with artificial intelligence. NLP is also related to information retrieval, knowledge representation, computational linguistics, and linguistics more broadly.

Major processing tasks in an NLP system include: speech recognition, text classification, natural language understanding, and natural language generation.
Project management software
Project management software are computer programs that help plan, organize, and manage resources.

Depending on the sophistication of the software, it can manage estimation and planning, scheduling, cost control, budget management, resource allocation, collaboration software, communication, decision-making, quality management, time management and documentation or administration systems.

Numerous PC and browser-based project management software and contract management software products and services are available.

Cost accounting
Cost accounting is defined by the Institute of Management Accountants as

a systematic set of procedures for recording and reporting measurements of the cost of manufacturing goods and performing services in the aggregate and in detail. It includes methods for recognizing, allocating, aggregating and reporting such costs and comparing them with standard costs.

Often considered a subset or quantitative tool of managerial accounting, its end goal is to advise the management on how to optimize business practices and processes based on cost efficiency and capability. Cost accounting provides the detailed cost information that management needs to control current operations and plan for the future.

Cost accounting information is also commonly used in financial accounting, but its primary function is for use by managers to facilitate their decision-making.
USS Runner (SS-275)
USS Runner (SS-275) was a Gato-class submarine, the first ship of the United States Navy to be named for the runner, an amberfish inhabiting subtropical waters, so called for its rapid leaps from the water.

Gato-class submarine
The Gato class of submarines were built for the United States Navy and launched in 1941–1943. Named after the lead vessel of the class, USS Gato, they were the first mass-produced U.S. submarine class of World War II.

The Gatos, along with the closely related Balao and Tench classes that followed, accounted for most of the Navy's World War II submarines; they destroyed much of the Japanese merchant marine and a large portion of the Imperial Japanese Navy. In some references, the Gatos are combined with their successors, especially the Balao class.

Gato's name comes from a species of small catshark. Like most other U.S. Navy submarines of the period, boats of the Gato class were given the names of aquatic creatures.
Émile Schuffenecker
Claude-Émile Schuffenecker (8 December 1851 – 31 July 1934) was a French Post-Impressionist artist, painter, art teacher and art collector.  A friend of Paul Gauguin and Odilon Redon, and one of the first collectors of works by Vincent van Gogh, Schuffenecker was instrumental in establishing The Volpini Exhibition, in 1889.

Odilon Redon
Odilon Redon (born Bertrand Redon; French: [ɔdilɔ̃ ʁədɔ̃]; 20 April 1840 – 6 July 1916) was a French Symbolist draftsman, printmaker, and painter.

Early in his career, both before and after fighting in the Franco-Prussian War, Redon worked almost exclusively in charcoal and lithography, works known as his noirs. He gained recognition after his drawings were mentioned in the 1884 novel À rebours (Against Nature) by Joris-Karl Huysmans. During the 1890s, Redon began working in pastel and oil, which quickly became his favorite medium, abandoning his previous style of noirs completely after 1900. He developed a keen interest in Hindu and Buddhist religion and culture, which increasingly showed in his work.

Redon is perhaps best known today for the dreamlike paintings created in the first decade of the 20th century, which were inspired by Japanese art and leaned toward abstraction. His work is considered a precursor to Surrealism.
Local Route 22 (South Korea)
Local Route 22 Yeosu–Suncheon Line (Korean: 국가지원지방도 제22호선 여수 ~ 순천선) is a local route of South Korea that connecting Sepo 3-IS in Hwayang-myeon, Yeosu, South Jeolla Province to Sungo 5-IS in Jangcheon-dong, Suncheon, South Jeolla Province.

South Jeolla Province
South Jeolla Province (Korean: 전라남도; RR: Jeollanam-do), formerly South Chŏlla Province, also known as Jeonnam (전남), is a province in the Honam region, South Korea, and the southernmost province in mainland Korea. South Jeolla borders the provinces of North Jeolla to the north, South Gyeongsang to the northeast, and Jeju to the southwest in the Korea Strait.

Suncheon is the largest city in the province, closely followed by Yeosu. Other major cities include Mokpo, Gwangyang and Naju.

Jeolla-do, including both North and South Jeolla, was the first province out of the Eight Provinces system to have its 1000th year anniversary in 2018, as the name 'Jeolla-do' was established in 1018, during Hyeonjong of Goryeo's 9th year in power.
Sanur, Jenin
Sanur (Arabic: صانور, also spelled Sanour) is a Palestinian village located 26 kilometres (16 mi) southwest of Jenin, in the Jenin Governorate of the State of Palestine. According to the Palestinian Central Bureau of Statistics, Sanur had a population of 4,067 in 2007 and 5,036 in 2017. During the late Ottoman era, Sanur served as a fortified village of the Jarrar family and played a key role in limiting the centralized power of the Ottoman sultanate, the Ottoman governors of Damascus and Acre and the Ottoman-aligned Tuqan family of Nablus from exerting direct authority over the rural highlands of Jabal Nablus (modern-day northern West Bank).

Syria vilayet
The Vilayet of Syria (Arabic: ولاية سوريا; Ottoman Turkish: ولايت سوريه, romanized: Vilâyet-i Sûriye), also known as Vilayet of Damascus, was a first-level administrative division (vilayet) of the Ottoman Empire.

At the beginning of the 20th century, it reportedly had an area of 62,180 square kilometres (24,009 sq mi), while the preliminary results of the first Ottoman census of 1885 (published in 1908) gave the population as 1,000,000. The accuracy of the population figures ranges from "approximate" to "merely conjectural" depending on the region from which they were gathered.
Choshi Electric Railway 700 series
The Choshi Electric Railway 700 series (銚子電鉄700形, Chōshi Dentetsu 700-gata) was an electric multiple unit (EMU) train type operated by the private railway operator Choshi Electric Railway in Chiba Prefecture, Japan, between 1978 and 2010. The two single cars were converted from former Ohmi Railway MoHa 50 EMU cars, which were built in 1942.

Ohmi Railway
Ohmi Railway Co., Ltd. (近江鉄道株式会社, Ōmi Tetsudō Kabushiki-gaisha) is a Japanese private railway company which operates in Shiga Prefecture, and a member of the Seibu group since 1943. The company is named after the Ōmi Province, the former name of the present-day Shiga. The railway is nicknamed "Gachakon train" (ガチャコン電車, Gachakon densha) by local users because of its noisy sound.
Stapley/Main Street station
Stapley/Main Street station is a light rail station in Mesa, Arizona, on the A Line of the Valley Metro Rail system serving Phoenix and surrounding areas. It is part of the 1.9-mile (3.1 km) Gilbert Road Extension, alongside Gilbert Road/Main Street station, and opened to passengers on May 18, 2019. The station consists of one island platform located in the median of Main Street to the east of Stapley Drive.

Gilbert Road/Main Street station
Gilbert Road/Main Street station is a light rail station in Mesa, Arizona, on the A Line of the Valley Metro Rail system serving Phoenix and surrounding areas. It opened to revenue service on May 18, 2019, becoming the new terminus of the light rail line. It is the eastern terminus of the A Line. The station consists of one island platform in the median of Main Street to the west of Gilbert Road with both tracks serving westbound trains. The station has a park-and-ride facility and a bus station that is served by local routes.

The two-station 1.9-mile (3.1 km) Gilbert Road Extension began construction in November 2016 and was expected to cost $184 million.