hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
George Fant (American football)
George Fant (born July 19, 1992) is an American professional football offensive tackle for the Washington Commanders of the National Football League (NFL). He played college football and basketball for the Western Kentucky Hilltoppers and signed with the Seattle Seahawks as an undrafted free agent in 2016. Fant has also played for the New York Jets and Houston Texans.

Western Kentucky Hilltoppers football
The Western Kentucky Hilltoppers football program is a college football team that represents Western Kentucky University. The team competes at the NCAA Division I Football Bowl Subdivision level and represents the university as a member of Conference USA in the Eastern division. The 2002 team was the FCS national champion. The program has 13 conference championships (1 SIAA, 9 OVC, 1 Gateway, 2 Conference USA) and 7 FBS-level bowl game victories. The Hilltoppers play their home games at Houchens Industries–L. T. Smith Stadium in Bowling Green, Kentucky and the team's head football coach is Tyson Helton.
Bradford College (United States)
Bradford College was a college in the part of Haverhill, Massachusetts, that was once the town of Bradford.  Founded in 1803, Bradford College began as Bradford Academy, one of the earliest coeducational institutions in New England. In 1836, Bradford began educating women exclusively. By 1932, the school had grown from a secondary school and became Bradford Junior College. In 1971 Bradford became authorized to grant bachelor's degrees. The new Bradford College began admitting men again that same year. Bradford College specialized in the creative arts and social sciences, and had one of the oldest alum associations in the country.

On November 19, 1999, its board of trustees announced that the 197-year-old liberal arts institution would close in May 2000. The former campus is now home to Northpoint Bible College.

Northpoint Bible College
Northpoint Bible College and Seminary is a private Pentecostal Bible college and seminary in Haverhill, Massachusetts. The college's sole purpose is to teach and train students for Pentecostal ministry for the spread of the Christian gospel. It offers undergraduate and graduate degrees in Biblical Studies and Practical Theology. The current President of Northpoint Bible College is Tiff Shuttlesworth.
Libdmc
Libdmc  is a library designed at the LIP6  laboratory. Its goal is to ease the distribution of existing model checkers. It has also been designed to provide the most generic interfaces, without sacrificing performance, thanks to the C++ language.

Model checking offers a way to automatically prove that a modeled system behavior is correct by verifying properties. However, it suffers from the so-called state space explosion problem, caused by an intensive use of memory. Many solutions have been proposed to overcome this problem (e.g. symbolic representations with decisions diagrams - like BDD) but these methods can rapidly lead to an unacceptable time consumption.

Distributed model checking is a way to overcome both memory and time consumptions by using aggregated resources of a dedicated cluster. However, re-writing an entire model checker is a difficult task, so the approach of libdmc is to give a framework in order to construct a model checker.

Model checking
In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems, where the specification contains liveness requirements (such as avoidance of livelock) as well as safety requirements (such as avoidance of states representing a system crash).

In order to solve such a problem algorithmically, both the model of the system and its specification are formulated in some precise mathematical language. To this end, the problem is formulated as a task in logic, namely to check whether a structure satisfies a given logical formula. This general concept applies to many kinds of logic and many kinds of structures. A simple model-checking problem consists of verifying whether a formula in the propositional logic is satisfied by a given structure.
Beecham Group
The Beecham Group plc  was a British pharmaceutical company. It was once a constituent of the FTSE 100 Index. Founded by Thomas Beecham who opened the first factory in St Helens, Lancashire in 1859, Beecham focused on marketing the business by advertising in newspapers and using a network of wholesale agents in northern England and in London, rapidly building up the business. In August 1859 he created the slogan for Beecham's Pills: "Worth a guinea a box", considered to be the world's first advertising slogan, which helped the business become a global brand.

Beecham, after having merged with American pharmaceutical company SmithKline Beckman to become SmithKline Beecham, merged with Glaxo Wellcome to become GlaxoSmithKline (GSK). GSK (and later, Haleon) still uses the Beechams brand name in the UK for its over-the-counter cold and flu relief products.

Thomas Beecham (chemist)
Thomas Beecham (3 December 1820 – 6 April 1907) was a British businessman who founded Beechams, a large pharmaceutical business. In 1859, he focused on marketing the business by advertising in newspapers and using a network of wholesale agents in northern England and in London, rapidly building up the business. In August 1859, he created the slogan for Beecham's Pills: "Worth a guinea a box", which is considered to be the world's first advertising slogan, helping the company become a global brand.
Upadesamrta
The Upadesamrta, or Nectar of Instruction, is an important Gaudiya Vaishnava spiritual text, composed by Rupa Goswami.  The Upadesamrta was translated into English in its entirety by A. C. Bhaktivedanta Swami Prabhupada, founder acarya of the International Society for Krishna Consciousness.  Prabhupada also gives extensive commentaries on each translated verse within the Upadesamrita.

Rupa Goswami
Rupa Goswami (Sanskrit: रूप गोस्वामी, Bengali: রূপ গোস্বামী, IAST: Rūpa Gosvāmī; 1489–1564) was a devotional teacher (guru), poet, and philosopher of the Gaudiya Vaishnava tradition. With his brother Sanatana Goswami, he is considered the most senior of the Six Goswamis of Vrindavan associated with Chaitanya Mahaprabhu, an avatar (incarnation) of Krishna in Kali Yuga.
Junayd of Baghdad
Junayd of Baghdad (Persian: جُنیدِ بَغدادی; Arabic: الجنيد البغدادي; c. 830 – 910) was a mystic and one of the most famous of the early Islamic saints. He is a central figure in the spiritual lineage of many Sufi orders.

Junayd taught in Baghdad throughout his lifetime and was an important figure in the development of Sufi doctrine. Like Hasan of Basra before him, was widely revered by his students and disciples as well as quoted by other mystics. Because of his importance in Sufi theology, Junayd was often referred to as the "Sultan".

Al-Muhasibi
Al-Muḥāsibī (Arabic: المحاسبي) (781–857 CE) was a Muslim Arab, theologian, philosopher and ascetic. He is considered to be the founder of the Baghdad School of Islamic philosophy which combined Kalam and Sufism, and a teacher of the Sufi masters Junayd al-Baghdadi and Sirri Saqti.

His full name is Abu Abdullah Harith bin Asad bin Abdullah al-Anizi al-Basri, and he hailed from the Arab Anazzah tribe. He was born in Basra in about 781. Muhasibi means self-inspection or audit. He was a founder of what later became the mainstream Sufi doctrine, and influenced many subsequent theologians, such as al-Ghazali.

The author of approximately 200 works, he wrote about theology and Tasawwuf (Sufism), among them Kitab al-Khalwa and Kitab al-Ri`aya li-huquq Allah ("Obeying God's Permits").
Clarendon Palace
Clarendon Palace is a medieval ruin 2+1⁄4 miles (3.6 km) east of Salisbury in Wiltshire, England. The palace was a royal residence during the Middle Ages, and was the location of the Assize of Clarendon which developed the Constitutions of Clarendon. It now lies within the grounds of Clarendon Park.

Constitutions of Clarendon
The Constitutions of Clarendon were a set of legislative procedures enacted by Henry II of England in 1164. The Constitutions were composed of 16 articles and represented an attempt to restrict ecclesiastical privileges and to curb the power of the Church courts and the extent of papal authority in England. In the anarchic conditions of Henry II's predecessor, Stephen (reigned 1135–1154), the church had extended its jurisdiction by taking advantage of the weakness of royal authority. The Constitutions were claimed to restore the law as it was observed during the reign of Henry I (1100–1135).

The Constitutions take their name from Clarendon Palace, Wiltshire, the royal hunting lodge at which they were promulgated.
Mediterranean basin
In biogeography, the Mediterranean basin (/ˌmɛdɪtəˈreɪniən/ MED-ih-tə-RAY-nee-ən), also known as the Mediterranean region or sometimes Mediterranea, is the region of lands around the Mediterranean Sea that mostly have a Mediterranean climate, with mild to cool, rainy winters and warm to hot, dry summers, which supports characteristic Mediterranean forests, woodlands, and scrub vegetation.

Mediterranean forests, woodlands, and scrub
Mediterranean forests, woodlands and scrub is a biome defined by the World Wide Fund for Nature. The biome is generally characterized by dry summers and rainy winters, although in some areas rainfall may be uniform. Summers are typically hot in low-lying inland locations, but can be cool near colder seas; while winters are typically mild to cool in low-lying locations, but can be cold in inland and higher locations. These ecoregions are highly distinctive, collectively harboring 10% of the Earth's plant species.
Solar Sports
Solar Sports is a Philippine digital free-to-air television network based in Shaw Boulevard, Mandaluyong, Philippines. It serves as the flagship network of Southern Broadcasting Network, a subsidiary of Solar Entertainment Corporation. The channel was originally launched as a cable channel on October 30, 2002, and is available for Sky Cable, Cablelink, Sky Direct, other local cable operators in the Philippines and via digital free-to-air television in Mega Manila starting October 7, 2024.

TAP Sports
TAP Sports (stylized as tap Sports) is a Philippine pay television network of sports channels owned by TAP Digital Media Ventures Corporation. It was launched on April 14, 2019, under two separate channels carried by Sky Cable, and was later relaunched the following year.

The TAP Sports network has four channels: the main channel itself, and the Premier Sports channels.
Battle of the Lines of Elvas
The Battle of the Lines of Elvas (Portuguese pronunciation: [ˈɛlvɐʃ]), was fought on 14 January 1659, in Elvas, between Portugal and Spain during the Portuguese Restoration War. It ended in a decisive Portuguese victory achieved by commanders António Meneses and André Ribafria.

The battle took place during the Spanish siege of Elvas under the lead of Luis de Haro; the Portuguese garrison under the leadership of Ribafria was later supported by a field Portuguese army under Meneses, which attacked the Spanish besiegers from the rear while the garrison attacked from the front. Ribafria was the one who reformed the Portuguese cavalry into a formidable force. While skillfully exercising his command, he was killed in this clash. In addition, the Spaniards had very few cannons compared to the Portuguese garrison and field force. Thus, the Spanish army was decisively assaulted from both sides and routed.

Luis Méndez de Haro
Luis Méndez de Haro, 6th Marquis of Carpio and 2nd Duke of Olivares or Luis Méndez de Haro y Guzmán, GE, (17 February 1598 – 26 November 1661), was a Spanish political figure, general and art collector. He was the royal favourite (Spanish: valido) of Philip IV. De Haro was also notable as being one of the very few Spanish royal favourites of the period to die whilst still in favour.
Morag (Israeli settlement)
Morag (Hebrew: מוֹרַג, lit. 'Flail') was an Israeli settlement organized as a moshav in the Gush Katif settlement bloc. in the south-west edge of the Gaza Strip. It was evacuated as part of Israel's unilateral disengagement plan of 2005.

Gush Katif
Gush Katif (Hebrew: גוש קטיף, lit. 'Harvest Bloc') was a bloc of 17 Israeli settlements in the southern Gaza Strip. In August 2005, the Israel Defense Forces removed the 8,600 Israeli residents from their homes after a decision from the Cabinet of Israel. The communities were demolished as part of Israel's unilateral disengagement from Gaza.
1929 Canadian Challenge Trophy
The 1929 Dominion of Canada Football Championship was the 14th staging of Canada Soccer's domestic football club competition. Montréal CNR won the Challenge Trophy after they beat United Weston FC with back-to-back wins at Carruthers Park in Winnipeg from 29-31 July 1929.

After winning the Québec section, Montréal CNR beat Oshawa General Motors and Fort William Canadian Legion on the road to the Canadian Final.

United Weston FC
United Weston FC is a Canadian soccer club based in Winnipeg, Manitoba. The club was established in 1909 in the Weston neighbourhood of Winnipeg. They were two-time Dominion of Canada Football Championship winners, lifting the Connaught Cup in 1924 and the Challenge Trophy in 1926. They were Dominion runners up in 1929 and 1936. They were recognized by the Canada Soccer Hall of Fame as an Organisation of Distinction.

Over the course of their soccer history, they played in several leagues and competitions in Manitoba. They won their first Manitoba Cup provincial championship in 1909.

Wrote sports journalist Vince Leah in 1943, "you can name the famous Canadian soccer teams on one hand... Westminster Royals, Toronto Ulster, Montréal Carsteel and United Weston. When you think of soccer, you naturally think of Weston.

Their victory song was "Weston on the ball."
NELIAC
The Navy Electronics Laboratory International ALGOL Compiler (NELIAC) is a dialect and compiler implementation of the programming language ALGOL 58, developed by the Navy Electronics Laboratory (NEL) in 1958.

It was designed for numeric and logical computations and was the first language to provide a bootstrap implementation.

ALGOL 58
ALGOL 58, originally named IAL, is a member of the ALGOL family of computer programming languages. It was an early compromise design soon superseded by ALGOL 60. According to John Backus:

The Zurich ACM-GAMM Conference had two principal motives in proposing the IAL: (a) To provide a means of communicating numerical methods and other procedures between people, and (b) To provide a means of realizing a stated process on a variety of machines...

ALGOL 58 introduced the fundamental notion of the compound statement, but it was restricted to control flow only, and it was not tied to identifier scope in the way that Algol 60's blocks were.
Mindful Yoga
Mindful Yoga or Mindfulness Yoga combines Buddhist-style mindfulness practice with yoga as exercise to provide a means of exercise that is also meditative and useful for reducing stress. 
Buddhism and Hinduism have since ancient times shared many aspects of philosophy and practice including mindfulness, understanding the suffering caused by an erroneous view of reality, and using concentrated and meditative states to address such suffering.

The use of a hybrid of yoga and mindfulness for stress was pioneered by Jon Kabat-Zinn in America in 1990. It has since been advocated in differing forms by yoga and meditation teachers and authors from many backgrounds, such as Anne Cushman, Frank Jude Boccio, Stephen Cope, Janice Gates, Cyndi Lee, Phillip Moffitt, and Sarah Powers.
Courses in Mindful Yoga are provided in Buddhist meditation centres, yoga studios, and stress clinics around the world.

Jon Kabat-Zinn
Jon Kabat-Zinn (born Jon Kabat, June 5, 1944) is an American professor emeritus of medicine and the creator of the Stress Reduction Clinic and the Center for Mindfulness in Medicine, Health Care, and Society at the University of Massachusetts Medical School. Kabat-Zinn was a student of Zen Buddhist teachers such as Philip Kapleau, Thich Nhat Hanh, and Seung Sahn, and a founding member of Cambridge Zen Center. His practice of hatha yoga, Vipassanā and appreciation of the teachings of Soto Zen and Advaita Vedanta led him to integrate their teachings with scientific findings. He teaches mindfulness, which he says can help people cope with stress, anxiety, pain, and illness. The stress reduction program created by Kabat-Zinn, mindfulness-based stress reduction (MBSR), is offered by medical centers, hospitals, and health maintenance organizations, and is described in his book Full Catastrophe Living.
Teruo Ishii
Teruo Ishii (石井輝男, Ishii Teruo; January 1, 1924 – August 12, 2005) was a Japanese film director best known in the West for his early films in the Super Giant series, and for his films in the ero guro ("erotic-grotesque") subgenre of sexploitation such as Shogun's Joy of Torture (1968). He also directed the 1965 film Abashiri Prison, which helped to make Ken Takakura a major star in Japan. Referred to in Japan as "The King of Cult", Ishii had a much more prolific and eclectic career than was generally known in the West during his lifetime.

Ero guro
Ero guro (Japanese: エログロ) is an artistic genre that puts its focus on eroticism, sexual corruption, and decadence. As a term, it is used to denote something that is both erotic and grotesque.

The term itself is an example of wasei-eigo, a Japanese combination of English words or abbreviated words: ero from erotic and guro from grotesque. 
The "grotesqueness" implied in the term refers to things that are malformed, unnatural, or horrific. Items that are pornographic and bloody are not necessarily ero guro, and vice versa. The term is often mistaken by Western audiences to mean "gore" – depictions of horror, blood, and guts.
Hello Venus
Hello Venus (Korean: 헬로비너스; often stylized as HELLOVENUS) was a South Korean girl group formed by Tricell Media (formerly a joint venture between Pledis Entertainment and Fantagio). The group originally consisted of: Alice, Nara, Lime, Yooara, Yoonjo and Yooyoung. They debuted with the lead single "Venus" from their debut extended play of the same name on 9 May 2012. In July 2014, Fantagio and Pledis ended their Tricell Media joint ventures. Yooara and Yoonjo remained under Pledis, with the other four members continuing their group activities under Fantagio. In October 2014, Fantagio introduced two new members: Seoyoung and Yeoreum. The group officially disbanded in 2019, after all the members' contracts expired. The group is most notable for songs such as: "Sticky Sticky", "Wiggle Wiggle" and "I'm Ill".

Pledis Entertainment
Pledis Entertainment (Korean: 플레디스 엔터테인먼트, stylised as PLEDIS Entertainment) is a South Korean entertainment company founded by Han Sung-Soo in 2007. The label is home to Bumzu, Hwang Min-hyun, and groups Seventeen and TWS. Its name originates from the Pleiades, a star cluster in the constellation Taurus.

On May 25, 2020, Hybe Corporation became its majority shareholder, but Pledis remains an independent label.
Khalili Erguibi
Khalili Ben Mohamed El Bechir Erguibi (or Rguibi) (1925–2017) was a Moroccan Captain, member of the Southern Liberation Army and a member of CORCAS. He is the father of Mohamed Abdelaziz, the 3rd Secretary General of the Polisario Front.

Royal Advisory Council for Saharan Affairs
The Royal Advisory Council for Saharan Affairs (Arabic: المجلس الملكي الاستشاري للشؤون الصحراوية; French: Conseil royal consultatif pour les affaires sahariennes; Spanish: Consejo Real Consultivo para los Asuntos del Sahara) is an advisory committee to the Moroccan government on Western Sahara. It was created under Mohammed VI in early 2006, after a new autonomy plan proposed by Morocco to replace the United Nations' Baker Plan. The Polisario Front opposes Morocco's autonomy plan, demanding a referendum and independence.
Wang Yunkun
Wang Yunkun (Chinese: 王云坤; born December 1942) is a Chinese politician who served as governor of Jilin from 1995 to 1998, Party Secretary of Jilin from 1998 to 2006, and chairman of Jilin Provincial People's Congress from 1999 to 2008.

He was a member of the 15th and 16th Central Committee of the Chinese Communist Party. He was a member of the Standing Committee of the 11th National People's Congress. He was a representative of the 19th National Congress of the Chinese Communist Party.

Politics of Jilin
The politics of Jilin Province in the People's Republic of China is structured in a dual party-government system like all other governing institutions in mainland China.

The Governor of Jilin is the highest-ranking official in the People's Government of Jilin. However, in the province's dual party-government governing system, the Governor has less power than the Jilin Chinese Communist Party (CCP) Provincial Committee Secretary, colloquially termed the "Jilin CCP Party Chief".
Santa Fe Valley
Santa Fe Valley (also known later as the Santa Fe Galleria Hotel & Casino) is a cancelled hotel-casino that was planned by Santa Fe Gaming for 40 acres (16 ha) of land in Henderson, Nevada, next to the Galleria at Sunset mall. The project was announced in 1994, and construction was expected to begin in July 1996. The start of construction was delayed several times because of poor financial quarters for Santa Fe Gaming and because of the company not yet receiving financing for the project. Site preparation started in July 1998, with an opening date scheduled for December 1999, but construction never began. In 1999, the property was sold to Station Casinos, which sold the land a year later for use as a shopping center.

Mershops Galleria at Sunset
Mershops Galleria at Sunset (formerly called Galleria at Sunset, informally referred to as Galleria Mall) is an indoor shopping mall at 1300 West Sunset Road in Henderson, Nevada. It is owned by Mershops and managed by Spinoso Real Estate Group. Plans to build the mall were announced in 1987, but construction did not begin until 1995. It opened on February 28, 1996, and received its first major renovation in 2013, followed by an expansion which added several restaurants.

It is Henderson's first and only indoor mall, and one of four indoor malls in the Las Vegas Valley. It is also one of the largest malls in the state, with 1,080,208 square feet (100,354.6 m2). Anchor tenants include Dick's Sporting Goods (formerly Galyan's), Dillard's, JCPenney, Kohl's (formerly Mervyn's), and Macy's (formerly Robinsons-May).
Born Again Savage
Born Again Savage is the fifth solo studio album by American musician Little Steven (stage name of Steven Van Zandt), released in September 1999 by Renegade Nation. It was his first album since 1989's Revolution.

Born Again Savage was a return to the raw, garage rock sound of his second album, Voice of America from 1984. The main topic of the album is religion. The rhythm section on all songs is bassist Adam Clayton (of U2) and drummer Jason Bonham. Jean Beauvoir, who was one of the original Disciples of Soul, sang background vocals on the album. After its release, Van Zandt returned to play with Bruce Springsteen and the E Street Band for 18 years until reforming the Disciples of Soul for the 2017 album Soulfire.

Steven Van Zandt
Steven Van Zandt (né Lento; born November 22, 1950), also known as Little Steven or Miami Steve, is an American musician and actor. He is a member of Bruce Springsteen's E Street Band, in which he plays guitar and mandolin. He has appeared in several television drama series, including as Silvio Dante in The Sopranos (1999–2007) and as Frank Tagliano/Giovanni 'Johnny' Henriksen in Lilyhammer (2012–2014). Van Zandt has his own solo band called Little Steven and the Disciples of Soul, intermittently active since the 1980s.

In 2014, Van Zandt was inducted into the Rock and Roll Hall of Fame as a member of the E Street Band. Van Zandt has produced music, written songs, and had his own songs covered by Springsteen, Meat Loaf, Darlene Love, Ronnie Spector,
Nancy Sinatra, Pearl Jam, Southside Johnny, Artists United Against Apartheid, and the Iron City Houserockers, among others.