hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Schloss Engers
Schloss Engers (English: Engers palace) is a Baroque-style palace in Engers, near Koblenz, Germany. It is situated on the banks of the Rhine river. Johann IX Philipp von Walderdorff (1701–1768), Prince-Elector of Trier, constructed the palace between 1759 and 1764 based on a design by the architect Johanness Seiz. It served both as summer palace and hunting lodge.

Today the palace is now one of the two locations of Villa Musica, a foundation of the German state Rhineland-Palatinate and the broadcaster Südwestrundfunk. Its goals are to support young performers of classical music and to run concerts. Also, it houses a museum with old musical instruments and paintings of Prince-Electors of Trier.

Electoral Palace, Trier
The Electoral Palace (German: Kurfürstliches Palais) in Trier, Germany, was the residence of the Archbishops and Electors of Trier from the 16th century until the late 18th century. It now houses various offices of the federal government and often hosts classical music concerts.
Melon (online music service)
Melon (Korean: 멜론; RR: Mellon) is a South Korean online music store and music streaming service introduced in November 2004, and developed by SK Telecom. LOEN Entertainment (became Kakao M and then Kakao Entertainment) became the company-in-charge of the service in 2009. In 2017, Kakao merged Kakao Music into Melon to have one, unified music streaming service.

Melon is South Korea's largest music subscription service, with over 28 million users. Melon is the most popular music streaming service in South Korea. In fact, a survey of users of smartphones found that they were the most used applications by Koreans. Melon users can stream and download music and music videos and create custom ringtones. Melon is available on Android and iOS.

The name "Melon" is a portmanteau of the phrase "melody on".

KakaoMusic
KakaoMusic (Korean: 카카오뮤직) was a music streaming service launched by Kakao. It lets users stream and buy music while also allowing them to share songs and connect with friends through KakaoTalk. In 2017, Kakao merged Kakao Music into Melon, the company’s other music streaming service.
Mourne Mountains
The Mourne Mountains (/mɔːrn/ MORN; Irish: Beanna Boirche), also called the Mournes or the Mountains of Mourne, are a predominantly granite mountain range in County Down in the south-east of Northern Ireland. They include the highest mountain in all of Ulster, Slieve Donard at 850 m (2,790 ft). The Mournes are designated an Area of Outstanding Natural Beauty and it has been proposed to make the area Northern Ireland's first national park. The area is partly owned by the National Trust and sees over 50,000 visitors every year. The Mourne Wall crosses fifteen of the summits and was built to enclose the catchment basin of the Silent Valley and Ben Crom reservoirs. The wall, and the area inside it, are owned by Northern Ireland Water.

Mourne Wall
The Mourne Wall (Irish: Balla an Mhúrn) was constructed to enclose a catchment area of the Silent Valley Reservoir in the Mourne Mountains, Northern Ireland. The 1.5 m (4 ft 11 in) high stone wall, which was built to keep livestock from contaminating water supplies, took almost twenty years to complete (1904 to 1922). The project was overseen by the Belfast City and District Water Commissioners.
Slave to the System
Slave to the System is an American alternative hard rock supergroup, consisting of Brother Cane and Queensrÿche band members, formed in 2000. The band independently released the album Slave to the System in 2002. Spitfire Records re-released the album in 2006.

Brother Cane
Brother Cane is an American rock band that released three albums in the 1990s. Formed in Alabama in 1990 by singer and guitarist Damon Johnson and bassist Glenn Maxey, the line-up was completed by guitarist Roman Glick and drummer Scott Collier. The band's self-titled debut album was released in 1993, and after some line-up changes, this was followed by Seeds in 1995, and Wishpool in 1998. Brother Cane disbanded thereafter, but reformed in 2005, again in 2011, and became active again from 2022.
Syntax and semantics of logic programming
Logic programming is a programming paradigm that includes languages based on formal logic, including Datalog and Prolog. This article describes the syntax and semantics of the purely declarative subset of these languages. Confusingly, the name "logic programming" also refers to a specific programming language that roughly corresponds to the declarative subset of Prolog. Unfortunately, the term must be used in both senses in this article.

Declarative logic programs consist entirely of rules of the form

Each such rule can be read as an implication:

meaning "If each  is true, then  is true". Logic programs compute the set of facts that are implied by their rules.

Many implementations of Datalog, Prolog, and related languages add procedural features such as Prolog's cut operator or extra-logical features such as a foreign function interface. The formal semantics of such extensions are beyond the scope of this article.

Datalog
Datalog is a declarative logic programming language.  While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model.  This difference yields significantly different behavior and properties from Prolog.  It is often used as a query language for deductive databases. Datalog has been applied to problems in data integration, networking, program analysis, and more.
Quasi-triangular quasi-Hopf algebra
A quasi-triangular quasi-Hopf algebra is a specialized form of a quasi-Hopf algebra defined by the Ukrainian mathematician Vladimir Drinfeld in 1989. It is also a generalized form of a quasi-triangular Hopf algebra.

A quasi-triangular quasi-Hopf algebra is a set  where  is a quasi-Hopf algebra and  known as the R-matrix, is an invertible element such that

for all , where  is the switch map given by , and

where  and .

The quasi-Hopf algebra becomes triangular if in addition, .

The twisting of  by  is the same as for a quasi-Hopf algebra, with the additional definition of the twisted R-matrix

A quasi-triangular (resp. triangular) quasi-Hopf algebra with  is a quasi-triangular (resp. triangular) Hopf algebra as the latter two conditions in the definition reduce the conditions of quasi-triangularity of a Hopf algebra.

Similarly to the twisting properties of the quasi-Hopf algebra, the property of being quasi-triangular or triangular quasi-Hopf algebra is preserved by twisting.

Quasi-Hopf algebra
A quasi-Hopf algebra is a generalization of a Hopf algebra, which was defined by the Ukrainian mathematician Vladimir Drinfeld in 1989.

A quasi-Hopf algebra is a quasi-bialgebra  for which there exist  and a bijective antihomomorphism S (antipode) of  such that

for all  and where

and

where the expansions for the quantities and  are given by

and

As for a quasi-bialgebra, the property of being quasi-Hopf is preserved under twisting.
Pune–Ajni Humsafar Express
The 22139 / 22140 Pune - Ajni Humsafar Express is a superfast train belonging to Central Railway zone that runs between Pune Junction and Ajni of Nagpur city.

It is currently being operated with 22139/22140 train numbers on a weekly basis.

Pune Junction railway station
Pune Junction railway station (station code: PUNE) is the main railway junction of the city of Pune, India. It is one of the major railway junctions in Maharashtra. Pune Junction consists of 6 platforms. It also has a suburban train network.

It has two accesses, from HH Aga Khan Road on the south and Raja Bahadur Mills Road on the north. Pune Police and Central Reserve Police Force serve the station.
Velvet Sky
Jamie Lynn Szantyr (born June 2, 1981) is an American color commentator and retired professional wrestler best known for her time with Total Nonstop Action Wrestling (TNA) and the NWA under the ring name Velvet Sky. She is a former two-time TNA Women's Knockout Champion and is a former TNA Knockouts Tag Team Champion as part of The Beautiful People (with Madison Rayne and Angelina Love, with the group defending the title under the Freebird rule). While a part of NWA she served as a color commentator.

Roxxi Laveaux
Nicole Raczynski (born April 19, 1979) is an American former professional wrestler. She is best known for her tenure in Total Nonstop Action Wrestling under the ring names Roxxi Laveaux, The Voodoo Queen, and Roxxi. She is also known for her time in Shimmer Women Athletes and various other independent promotions under the ring name Nikki Roxx.
Ben (1972 film)
Ben is a 1972 American horror film directed by Phil Karlson and starring Lee Montgomery, Joseph Campanella, and Arthur O'Connell. It is a sequel to the film Willard (1971). The film follows a lonely boy named Danny Garrison who befriends Willard's former pet rat named Ben. Ben becomes the boy's best friend, protecting him from bullying and keeping his spirits up in the face of a heart condition. However, Ben forms an army of deadly rodents while the police attempt to control it.

The film premiered on June 21, 1972 in California and was given a wide release on June 23.

Ben was released on June 23, 1972 by Cinerama Releasing Corporation. Much like its predecessor, it was met with mixed reviews.

American singer Michael Jackson performs the theme song of the film, also titled "Ben". The song is also included on his 1972 album of the same name.

Lee Montgomery
Elliott Harcourt Montgomery (born November 3, 1961), known as Lee Montgomery, is a Canadian former actor based in the United States. He is best known for his role as a lonely little boy who befriends a pack of killer rats in the film Ben (1972), as Karen Black's son Davey in the cult classic Burnt Offerings (1976), and as Sarah Jessica Parker's hunky dance partner, Jeff Malene, in Girls Just Want to Have Fun (1985).
Tucano people
The Tucano people (sometimes spelt Tukano)(In Tucano: ye’pâ-masɨ (m.sg.), ye’pâ-maso (f.sg.), ye’pâ-masa (pl.)), are a group of Indigenous South Americans in the northwestern Amazon, along the                     Vaupés River and the surrounding area. They are mostly in Colombia, but some are in Brazil. They are usually described as being made up of many separate tribes, but that oversimplifies the social and linguistic structure of the region.

Tucano language
Tucano, also Tukano or Tucana, endonym ye’pâ-masa yee uúku͂sehé, is a Tucanoan language spoken in Amazonas, Brazil and Colombia.

Many Tariana people, speakers of the endangered Tariana language are switching to Tucano.
Kan Educational
Kan Educational (Hebrew: כאן חינוכית, Kan Hinuchit) is a public television channel in Israel designated for children, on behalf of the Israel Broadcasting Corporation. The channel launched on August 15, 2018 and replaced Israeli Educational Television (IETV), which preceded it. It now broadcasts existing IETV programs including older and newer programs, as well as provides new seasons to some of those programs, and also introduces new series. All of its content will be bought from third parties, unlike IETV who produced many of their shows in-house.

Israeli Public Broadcasting Corporation
The Israeli Public Broadcasting Corporation is the national public broadcaster of Israel. It carries the blanket branding Kan in Hebrew (כאן, 'Here') and Makan in Arabic (مكان, 'A place'). Its news division, Kan News, is the third biggest brand in Israeli newscasting, after HaHadashot 12 and Channel 13 News.

After multiple delays due to disagreements over its structure raised by Prime Minister Benjamin Netanyahu, the IPBC officially began its radio and television operations on 15 May 2017, succeeding the Israel Broadcasting Authority (IBA) as state broadcaster. Its formal goals include promoting expanding knowledge, Israeli culture, and innovation in broadcasting.
Mary Charles George
Mary Charles George O.B.E. (10 May 1913 — 18 March 2008) was a Kittitian educator. She taught school in St. Kitts for 43 years before moving to the Virgin Islands, where she taught for another decade. She was the first woman in St. Kitts and Nevis to run for public office. For her contributions to education in the Caribbean, she was honoured with the Order of the British Empire from Queen Elizabeth II and granted a life membership in the Caribbean Union of Teachers. A hospital in Molyneux, Saint Kitts, and the teaching excellence award of the St. Kitts Teachers’ Union are named in her honour.

Christ Church Nichola Town Parish
Christ Church Nichola Town is one of the 14 administrative parishes that make up the Saint Kitts and Nevis. Christ Church Nichola Town is the fifth largest parish on Saint Kitts and is located on the east coast of the main island of Saint Kitts. The Parish capital is Nichola Town and its largest town is Molyneux.
Queen's Tower, London
The Queen's Tower is a 287-foot (87 m) tower topped with a copper-covered dome. It is situated in the South Kensington Campus of Imperial College London, England, just north of the Imperial College Road. To reach the base of the dome from the ground on foot, one must ascend a series of narrow spiral staircases with 325 steps in total. The tower used to be the central tower of the Imperial Institute, and is now the sole remaining part of that building.

Commonwealth Education Trust
The Commonwealth Education Trust  was  a registered charity established in 2007 as the successor trust to the Commonwealth Institute. The trust focuses on primary and secondary education and the training of teachers and invests on educational products and services to achieve both a beneficial and a financial reward to fund future charitable initiatives.
Bougatsa
Bougatsa, bogatsa or boogatsa (Greek: μπουγάτσα [buˈɣatsa]) is a Greek breakfast food (sweet or savoury), or mid-morning snack, or midday snack. Bougatsa has several versions with their own filling, with the most popular the bougatsa krema (bougatsa cream) that has semolina custard filling used as a sweet food and dessert.

Custard
Custard is a variety of culinary preparations based on sweetened milk, cheese, or cream cooked with egg or egg yolk to thicken it, and sometimes also flour, corn starch, or gelatin. Depending on the recipe, custard may vary in consistency from a thin pouring sauce (crème anglaise) to the thick pastry cream (crème pâtissière) used to fill éclairs. The most common custards are used in custard desserts or dessert sauces and typically include sugar and vanilla; however, savory custards are also found, e.g., in quiche.
Wilky Gilmore
Maurice ("Wilky") Gilmore (born March 11, 1940) was an American basketball player who played college basketball for the University of Colorado Buffaloes of the Big Eight Conference over the period 1959-62. After college graduation, Gilmore went on to become a certified public accountant and later a lawyer, while continuing his involvement in basketball through coaching, teaching, and mentoring young players. Gilmore was the first African American elected to the Town Council in New Canaan, Connecticut.

Colorado Buffaloes men's basketball
The Colorado Buffaloes men's basketball team represents the University of Colorado Boulder. The team competes in the Big 12 Conference of NCAA Division I.  They are currently coached by Tad Boyle.

The Buffaloes have competed in sixteen NCAA Tournaments, most recently appearing in 2024. Colorado made it to the Final Four in 1942 and 1955. Colorado has played in eleven National Invitation Tournaments, winning the tournament in 1940 and making the semifinals in 1991 and 2011. The Buffs won the Pac-12 conference tournament in 2012, their first season as a member.
History of Francavilla Fontana
The history of Francavilla Fontana, a town in the Province of Brindisi, begins with the appearance in the Neolithic period of a village inhabited mainly by shepherds. Later, with the settlement first of the Messapians and later of the Romans, a medium-sized center arose. The present town of Francavilla was officially founded in 1310 by Philip I of Anjou, prince of Taranto, after the discovery of a Byzantine icon depicting a Madonna and Child. Due to the extensive concessions granted by Philip, the village developed rapidly, was surrounded by walls, towers and, in the 15th century, was also provided with a castle. From the second half of the 16th century to the middle of the 18th Francavilla was ruled by the Imperiali, considered the best feudal lords the fiefdom had: thanks to their patronage, nobles and artists arrived who, in keeping with the times, gave the town a Baroque appearance.

Philip II, Latin Emperor
Philip II (10 November 1278 – 26 December 1331), also known as Philip I of Taranto, was titular Latin Emperor of Constantinople by marriage to Catherine of Valois–Courtenay, Despot of Romania, King of Albania, Prince of Achaea and Taranto.

Born in Naples, Philip was a younger son of Charles II of Anjou, King of Naples, and Maria of Hungary, daughter of King Stephen V of Hungary.
Tubagus Hasanuddin
Tubagus Hasanuddin or known as TB Hasanuddin (born 8 September 1952) is an Indonesian politician and former Indonesian military officer (Army general) who has served as a member of the People's Representative Council of the PDI-P Faction between 2009 and 2018, and from 2019 to present.

Originating from Majalengka, Tubagus served in the Indonesian Army for over thirty years, working as adjutant or military secretary for four presidents before his retirement and entry into politics in 2009. He ran as a gubernatorial candidate in West Java's 2018 gubernatorial election, but he placed last.

2018 West Java gubernatorial election
The 2018 West Java gubernatorial election took place on 27 June 2018 as part of the simultaneous local elections. It was held to elect the governor of West Java along with their deputy, whilst members of the provincial council (Dewan Perwakilan Rakyat Daerah) will be re-elected in 2019.

Incumbent Ahmad Heryawan was barred from participating in the re-elections after having served two full terms. Candidates included the sitting vice governor Deddy Mizwar, mayor of Bandung Ridwan Kamil, People's Representative Council member Tubagus Hasanuddin and retired major general Sudrajat.
East Thrace
East Thrace or Eastern Thrace, also known as Turkish Thrace or European Turkey, is the part of Turkey that is geographically in Southeast Europe. Turkish Thrace accounts for 3.03% of Turkey's land area and 15% of its population. The largest city is Istanbul, which straddles the Bosporus between Europe and Asia. East Thrace is of historic importance as it is next to a major sea trade corridor and constitutes what remains of the once-vast Ottoman region of Rumelia. It is currently also of specific geostrategic importance because the sea corridor, which includes two narrow straits, provides access to the Mediterranean Sea from the Black Sea for the navies of five countries: Russia, Ukraine, Romania, Bulgaria, and Georgia. The region also serves as a future connector of existing Turkish, Bulgarian, and Greek high-speed rail networks.
Due to the guest worker agreement with Turkey and Germany, some Turks in Germany originally come from Eastern Thrace, mostly from the Kırklareli Province.

Bosporus
The Bosporus or Bosphorus Strait is a natural strait and an internationally significant waterway located in Turkey which is straddled by the city of  Istanbul. The Bosporus connects the Black Sea to the Sea of Marmara and forms one of the continental boundaries between Asia and Europe. It also divides Turkey by separating Asia Minor from Thrace. It is the world's narrowest strait used for international navigation.

Most of the shores of the Bosporus Strait, except for the area to the north, are heavily settled, with the city of Istanbul's metropolitan population of 17 million inhabitants extending inland from both banks.

The Bosporus Strait and the Dardanelles Strait at the opposite end of the Sea of Marmara are together known as the Turkish Straits.

Sections of the shore of the Bosporus in Istanbul have been reinforced with concrete or rubble and those sections of the strait prone to deposition are periodically dredged.
Nandom Municipal District
Nandom Municipal is one of the eleven districts in Upper West Region, Ghana. Originally it was formerly part of the then-larger Lawra/Nandom District in 1988; until the northern part of the district was later split off to create Nandom District on 28 June 2012; thus the remaining part has been renamed as Lawra District (which it was elevated to municipal district assembly status on 15 March 2018 to become Lawra Municipal District). However on 27 January 2020, it was elevated to municipal assembly status to become Nandom Municipal Assembly. The municipality is located in the northwest part of Upper West Region and has Nandom as its capital town.

Lawra Municipal District
Lawra Municipal is one of the eleven districts in the Upper West Region of Ghana. Originally, it was formerly part of the then-larger Lawra District in 1988, until the northern part of the district was later split off to create Nandom District on June 28, 2012; thus, the remaining part has remained as Lawra District, which was later elevated to municipal assembly status on March 15, 2018 to become Lawra Municipal Assembly. The municipality is located in the northwest part of the Upper West Region and has Lawra as its capital town.
SystemBuilder/SB+
SB/XA is a 4GL development and runtime environment originally written for the Pick family of computer databases/environments and now part of the Rocket U2 software suite.

The SystemBuilder environment comprises SB+ Server, often running on a Rocket U2 database, SBClient which runs as a Microsoft Windows desktop client and the SB/XA Communications server for browser clients. The product can be run in either developer or runtime mode.  The development environment enables rapid prototyping, development and deployment of applications and supports a variety of user interface environments.

Rocket U2
Rocket U2 is a suite of database management (DBMS) and supporting software now owned by Rocket Software.  It includes two MultiValue database platforms: UniData and UniVerse.  Both of these products are operating environments which run on current Unix, Linux and Windows operating systems.  They are both derivatives of the Pick operating system. The family also includes developer and web-enabling technologies including SB/XA (sometimes known as SB+ or SystemBuilder), U2 Web Development Environment (WebDE), UniObjects connectivity API and wIntegrate terminal emulation software.
Novi Kneževac
Novi Kneževac (Serbian Cyrillic: Нови Кнежевац, [nɔ̂ʋiː knɛ̌ːʒɛʋats]; Hungarian: Törökkanizsa; German: Neu-Kanischa) is a town and municipality located in the North Banat District of the autonomous province of Vojvodina, Serbia. The town has a population of 5,688, while the Novi Kneževac municipality has 8,627 inhabitants according to 2022 census.

North Banat District
The North Banat District (Serbian: Севернобанатски округ, romanized: Severnobanatski okrug, pronounced [sêʋeːrnobǎnaːtskiː ôkruːɡ]) is one of administrative districts of Serbia. It lies in the geographical regions of Banat and Bačka. According to the 2022 census, the North Banat District has a population of 117,896 inhabitants. The administrative center of the district is the city of Kikinda.