hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Propositional formula
In propositional logic, a propositional formula is a type of syntactic formula which is well formed. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional formula may also be called a propositional expression, a sentence, or a sentential formula.

A propositional formula is constructed from simple propositions, such as "five is greater than three" or propositional variables such as p and q, using connectives or logical operators such as NOT, AND, OR, or IMPLIES; for example:

(p AND NOT q) IMPLIES (p OR q).

In mathematics, a propositional formula is often more briefly referred to as a "proposition", but, more precisely, a propositional formula is not a proposition but a formal expression that denotes a proposition, a formal object under discussion, just like an expression such as "x + y" is not a value, but denotes a value. In some contexts, maintaining the distinction may be of importance.

Hypostatic abstraction
Hypostatic abstraction in philosophy and mathematical logic, also known as hypostasis or subjectal abstraction, is a formal operation that transforms a predicate into a relation; for example "Honey is sweet" is transformed into "Honey has sweetness". The relation is created between the original subject and a new term that represents the property expressed by the original predicate.
Parkes, Australian Capital Territory
Parkes is an inner southern suburb of the Canberra Central district of Canberra, located within the Australian Capital Territory of Australia. Located southeast of the Canberra central business district, Parkes contains the Parliamentary Triangle and many of the national monuments of Australia's capital city.

Parkes is named in honour of Sir Henry Parkes, a Federalist, legislator and one of the founders of the Australian Constitution. Streets in Parkes are named after monarchs and constitutional references.

Parkes contains many of Canberra's large institutions and contains limited residential areas.

Canberra Central
Canberra Central is a district in the Australian Capital Territory in Australia. Consisting of both the subdivisions of North Canberra and South Canberra. The district is subdivided into divisions (suburbs), sections and blocks. The district of Canberra Central lies entirely within the bounds of the city of Canberra, the capital city of Australia.
Stranocum
Stranocum (from Irish Sraith Nócam) is a small village and townland in north County Antrim, Northern Ireland. The villages of Dervock and Armoy are nearby and the town of Ballymoney is about 5 miles (8 km) away. It had a population of 311 people  in the 2021 Census. (2011 Census: 297 people)

The village is west of the River Bush and is mostly on the gentle hill down to the river. Although mainly a commuter village it does have some services. These include a supermarket and petrol station, a vehicle service garage, animal feeds mill, trout farm, Bushvalley Primary School and a park.

River Bush
The River Bush (from the Irish: an Bhuais) is a river in County Antrim, Northern Ireland. The River Bush is 33.5 miles (53.9 km) long. The river's source is in the Antrim Hills at 480m. From there the river flows northwest, with a bend at the town of Armoy. It then flows west, passing through Stranocum, and then bends north, passing through Bushmills before reaching the sea at Portballintrae on the North Antrim coast. It flows through a fertile valley devoted to grassland-based agriculture with limited arable cropping. The underlying geology is basalt and the water is slightly alkaline with magnesium making an unusually large contribution to total hardness. The river supports indigenous stocks of Atlantic salmon and brown trout. Saint Columb's Rill, which is a tributary of the river, is the source of water used for distilling Bushmills whiskey.
Bosherston
Bosherston (Welsh: Llanfihangel-clogwyn-gofan, translates to "St Michaels above the cliffs of St Gofan") is a village and parish in Pembrokeshire, Wales, within the Pembrokeshire Coast National Park.

Bosherston has a population of approximately 300, with a pub and a café serving light refreshments during the summer.

Bosherston is known for Broad Haven South beach  and the Bosherston lily ponds; both owned and maintained by the National Trust.

Two miles to the south of Bosherston nestled within the steep cliffs is St Govan's Chapel. It is free to visit, although the only access is down steep steps carved into the side of the cliff.

Pembrokeshire Coast National Park
Pembrokeshire Coast National Park (Welsh: Parc Cenedlaethol Arfordir Penfro) is a national park along the Pembrokeshire coast in west Wales.

It was established as a National Park in 1952. It is one of the three National parks of Wales, the others being the Brecon Beacons and Snowdonia. It is the only national park in the United Kingdom to consist largely of coastal landscapes.
Born in East L.A. (song)
"Born in East L.A." is a single by Cheech & Chong, released in September 1985. It is a parody of Bruce Springsteen's "Born in the U.S.A.", with references to the song "I Love L.A." by Randy Newman. The song reached No. 48 on the Billboard Hot 100.

Written by Cheech Marin, the song's lyrics deal with a Mexican American from East Los Angeles who is mistaken for an undocumented immigrant and deported. The song served as the basis for the film of the same name, directed by Marin.

Cheech & Chong
Cheech & Chong are a comedy duo founded in Vancouver and consisting of American Cheech Marin and Canadian Tommy Chong. The duo found commercial and cultural success in the 1970s and 1980s with their stand-up routines, studio recordings, and feature films, which were based on the hippie and free love era, the drug and counterculture movements, and their love for cannabis.
Éamonn Lawlor
Éamonn Lawlor (born 1951) is an Irish radio broadcaster on RTÉ lyric fm.

Éamonn Lawlor was born in Delvin, County Westmeath. He was educated at Rockwell College, Cashel, and University College Dublin where he received a Master of Arts in Modern English and American Literature. Lawlor is one of Ireland's leading current affairs broadcasters.  He was RTÉ News and Current Affairs's Europe Correspondent from 1979 to 1989. He became the second male presenter of RTÉ News: Six One, from 1992 to 1996.  He then joined Brian Farrell and Miriam O'Callaghan as one of the co-presenters of the current affairs programme Prime Time on RTÉ One.

In May 1999 Lawlor left the current affairs department of RTÉ and joined RTÉ lyric fm. He currently presents The Lyric Concert every weekday nights. Lawlor is also a visiting lecturer at the International Academy of Broadcasting in Montreux, Switzerland.

RTÉ News
RTÉ News and Current Affairs (Irish: Nuacht agus Cúrsaí Reatha RTÉ), also known simply as RTÉ News (Nuacht RTÉ), is the national news service provided by Irish public broadcaster Raidió Teilifís Éireann (RTÉ). Its services include local, national, European and international news, investigative journalism and current affairs programming for RTÉ television, radio, online, podcasts, on-demand and for independent Irish language public broadcaster TG4. It is the largest and most popular news source in Ireland – with 77% of the Irish public regarding it as their main source of Irish and international news. It broadcasts in English, Irish and Irish Sign Language. The organisation is also a source of commentary on current affairs. The division is based at the RTÉ Television Centre in Donnybrook, Dublin; however, the station also operates regional bureaux across Ireland and the world.
Good from Afar
"Good From Afar" is the first single released from Melbourne band Horsell Common's first album The Rescue. The single entered the Australian Independent Records Chart at #5 and at number 95 on the ARIA Charts.

The Rescue (Horsell Common album)
The Rescue is the first and only studio of Australian band Horsell Common. The album was released on 29 September 2007. The album entered the Australian Independent Records Charts at #6. and the ARIA Charts at number 100.
Django Bates
Django Bates (born Leon Bates, 2 October 1960) is a British jazz musician, composer, multi-instrumentalist, band leader and educator. He plays the piano, keyboards and the tenor horn. Bates has been described as "one of the most talented musicians Britain has produced... his work covers the entire spectrum of jazz, from early jazz through to bebop and free jazz to jazz-rock fusion."

In addition to his jazz work, he is also a classical composer (writing both large- and small-scale compositions on commission), theatre composer, and has taught as a professor at various European music schools. As a leader, his bands have included Human Chain, Delightful Precipice, Quiet Nights, Powder Room Collapse Orchestra and Belovèd, and he was also a leading figure in Loose Tubes and Bill Bruford's Earthworks.

Tenor horn
The tenor horn (British English; alto horn in American English, sometimes E♭ horn) is a brass instrument in the saxhorn family pitched in E♭ with three piston valves. It has a bore that is moderately conical, like the cornet and baritone, and normally uses a deep funnel-shaped mouthpiece. In Europe it is known as the Althorn and has rotary valves and an oval shape.

It is most commonly used to play inner harmonies and off-beats in British brass bands and Mexican banda music, reading transposing treble clef, whereas the horn dominates in concert bands and orchestras. In the late 20th century it began to be considered as a serious solo voice, and has amassed a repertoire of contemporary concertos and other solo works.
Grand Avenue (film)
Grand Avenue is a 1996 American drama film directed by Daniel Sackheim and written by Greg Sarris. It is based on the 1994 novel Grand Avenue by Greg Sarris. The film stars Irene Bedard, Tantoo Cardinal, Eloy Casados, Deena-Marie Consiglio, Alexis Cruz, Diane Debassige, Jenny Gago, Cody Lightning, A Martinez, Simi Mehta, August Schellenberg, Sheila Tousey and Sam Vlahos. The film premiered on HBO on June 30, 1996. The film is one of the only American films to feature an indigenous Native American lead role for an actress, played by Menominee actress Tousey.

Daniel Sackheim
Daniel Sackheim (born in 1962) is an American television and film director, producer, and photographer. Sackheim has produced and directed for The X-Files, Law & Order, House and NYPD Blue. He has also directed episodes of The Walking Dead, Game of Thrones, The Americans, Better Call Saul, True Detective and Ozark, for which he was nominated for an Emmy Award. He has won a Primetime Emmy Award as a director and been nominated twice for his work as a producer and director.
Amund Rydland
Amund Rydland (25 November 1888 – 16 February 1967) was a Norwegian stage and film actor and theatre director.

He was born in the village of Alversund in Lindaas Municipality in Søndre Bergenhus county (now part of Alver Municipality in Vestland county). He made his stage debut at Det Norske Teatret in 1913, and served as the theatre's director from 1916 to 1922. He was best known for his comedy characters.

Det Norske Teatret
Det Norske Teatret (English: Norwegian Theater) is a theatre in Oslo. The theatre was founded in 1912, after an initiative from Hulda Garborg and Edvard Drabløs. It opened in 1913, touring with two plays, Ervingen by Ivar Aasen and Rationelt Fjøsstell by Hulda Garborg. Its first official performance was Ludvig Holberg's comedy Jeppe på berget, with Haakon VII of Norway and the prime minister of Norway among the spectators. Hulda Garborg was the first board manager, and Rasmus Rasmussen was the first theatre director. The theatre primarily performs plays written in or translated into Nynorsk.

The theatre has three stages, and about 12–15 productions per year, plus guest plays. Five of Jon Fosse's plays saw their first productions on Det Norske Teatret: Nokon kjem til å komme (1996), Ein sommars dag (1999), Vakkert (2001), 3ogtosaman (2001) and Rambuku (2006).

The theatre was awarded Spellemannprisen in 1979 for the musical play Så lenge skuta kan gå.
El Perdón
"El Perdón" (English: "Forgiveness") is a song by American singer Nicky Jam and Spanish singer Enrique Iglesias released as the first single to Nicky Jam's third studio album Fénix (2017). An English-language version of the song, titled "Forgiveness", was released on July 10, 2015. The single was later included on Enrique Iglesias' eleventh studio album Final (2021).

Final (Vol. 1)
Final (Vol. 1) is the eleventh studio album recorded by Spanish singer Enrique Iglesias. Volume 1 was released on 17 September 2021 by RCA Records through Sony Music Latin. It is his first album in seven years since he released Sex and Love. The album features collaborations with several artists and is going to occur in Volume 1 and Volume 2. During a live chat with Ricky Martin and Sebastián Yatra on Instagram on 3 September 2021, Iglesias suggested that Final would be the last album in his career he would release.
Magnificent Obsession (1935 film)
Magnificent Obsession is a 1935 American melodrama film directed by John M. Stahl from a screenplay by Sarah Y. Mason, Victor Heerman, and George O'Neil, based on the 1929 novel by Lloyd C. Douglas. The film stars Irene Dunne, Robert Taylor, Charles Butterworth, and Betty Furness.

John M. Stahl
John Malcolm Stahl (January 21, 1886 – January 12, 1950, born Jacob Morris Strelitsky) was a Russian-born American film director and producer. He is best known for his films such as Leave Her to Heaven (1945), Imitation of Life (1934), The Keys of the Kingdom (1944), and Back Street (1932).
Westing (By Musket and Sextant)
Westing (By Musket and Sextant) is a compilation of the early EPs and singles by American indie rock band Pavement.  It features all the tracks from their first three EPs, Slay Tracks (1933–1969), Demolition Plot J-7, and Perfect Sound Forever, as well as the single mix of "Summer Babe," its B-sides, and two compilation tracks.

Perfect Sound Forever (EP)
Perfect Sound Forever is the third EP by American indie rock band Pavement, released on April 15, 1991 through Drag City. It was released as a 10" on Chicago's Drag City recording label. Its songs were later made available on the Drag City compilation Westing (by Musket & Sextant).
Cristoforo Solari
Cristoforo Solari (c. 1460 – 1527), also known as il Gobbo (lit. 'the hunchbacked'), was an Italian sculptor and architect. He was the brother of the painter Andrea Solari.

Among his works, one of the most famous is the cenotaph lid of the dukes Ludovico il Moro and Beatrice d'Este for the Certosa di Pavia, carved between 1497 and 1499.

For a while, people thought he had sculpted the Pietà, causing Michelangelo to break into the church and chisel his name on it.

Some of Solari's work can be found at the Metropolitan Museum of Art in New York, the Museum of Fine Arts in Boston, the Daniel Katz Gallery in London, the Victoria & Albert Museum in London, and multiple other locations across the world.

Beatrice d'Este
Beatrice d'Este (29 June 1475 - 3 January 1497) was a noblewoman from Ferrara, duchess of Bari and Milan by her marriage to Ludovico Sforza (known as "Ludovico il Moro"). She was known as a woman of culture, an important patron of arts and science and a leader in fashion: alongside her husband, she made Milan one of the greatest capitals of the European Renaissance. With her determination and bellicose nature, she led the Milanese resistance against the French during the first of the Italian Wars. Her interventions repelled the Duke of Orléans who was on the verge of conquering Milan.
Cornell Big Red Marching Band
The Cornell Big Red Marching Band is the only corps style marching band (as opposed to a scatter band) in the Ivy League. It performs at all home, and most away, Cornell Big Red football games. In addition, the band has performed at halftime for numerous National Football League and Canadian Football League games, and began a tradition of an annual Spring Concert in 2006. Since 1972, the band has held a bi-annual march  in New York City which takes place on dates when the Cornell football team travels to Columbia University, known as the Sy Katz '31 Parade.

Scramble band
A scramble band – also known as a scatter band – is a particular type of field-performing marching band with distinct characteristics that set it apart from other common forms of marching bands; most notably, scramble bands do not normally march.  In fact, the name comes from the way in which the band moves between formations – members run to each form without using a predescribed path; this is known as scrambling.
Ron Nicol
Ronald L. Nicol (born June 30, 1953) is an American business executive, management consultant, and former submarine naval officer. Between 1987 and 2019, he was employed by Boston Consulting Group, most recently the global leader of the firms technology, media, and communications practice. In 2016, he was the director of the agency action team in President-elect Donald Trump's administration transition.

First presidential transition of Donald Trump
The first presidential transition of Donald Trump began when he won the presidential election on November 8, 2016, and became the president-elect. Trump was formally elected by the Electoral College on December 19, 2016. The results were certified by a joint session of Congress on January 6, 2017, and the transition concluded when Trump was inaugurated on January 20, 2017.
Break 4 Love
"Break 4 Love" is a song written, produced, and recorded by Vaughan Mason, the principal member of American house-music group Raze, the song's original credited performer. The song, the group's only significant US hit, featured vocals by Keith Thompson and Vaughan Mason, as well as sexual sound samples by Erique Dial. The single peaked at number 28 on the UK Singles Chart and topped the US Billboard Hot Dance Club Play chart in 1988. It is still considered a classic of the early house music genre.

The song interpolates "Today, Tomorrow and Forever" (1987) by the Castle Beat.

Raze (house-music group)
Raze was an American electronic dance music group formed in 1986 by multi-instrumentalist and producer Vaughan Mason. Raze also included producer Erique Dial, vocalists Keith Thompson, Wanda Sykes, Bobby Coleman, and DJ Stephon Johnson.
Central Military Band of the People's Liberation Army of China
The Central Military Band of People's Liberation Army of China (Chinese: 中国人民解放军军乐团) is a military music unit made for state ceremonies carried out by the People's Liberation Army of China. For more than 70 years, the band has acted as the musical branch of the PLA. The musicians of the orchestra are required to play ceremonial music for visiting heads of state and government, as well as perform during national events such as the National Day of the People's Republic of China and PLA Day. The band is currently led by Colonel Commandant Zhang Haifeng, who has been in the band since 1988.

PLA Day
PLA Day (Chinese: 中国人民解放军建军纪念日), also known as Army Day, is a professional military holiday celebrated annually by the People's Liberation Army (PLA), the military of China, on 1 August. It commemorates the founding of the PLA during the 1927 Nanchang uprising. Six years later, on 30 June 1933, the Chinese Communist Party (CCP)'s Central Committee for Military Revolutionary Cases voted to declare 1 August an annual holiday, being solidified later on 11 July by the government of the Chinese Soviet Republic.
Arnovo Selo
Arnovo Selo (pronounced [ˈaːɾnɔʋɔ ˈsɛːlɔ]; Slovene: Arnovo selo, in older sources also Arnova Sela, German: Arnovasela) is a settlement in the Municipality of Brežice in eastern Slovenia. It lies in the hills north of the town of Brežice. The area is part of the traditional region of Styria. It is now included in the Lower Sava Statistical Region.

Municipality of Brežice
The Municipality of Brežice (pronounced [ˈbɾèːʒitsɛ] ⓘ; Slovene: Občina Brežice) is a municipality in eastern Slovenia in the Lower Sava Valley along the border with Croatia. The seat of the municipality is the town of Brežice. The area was traditionally divided between Lower Styria (territory on the left bank of the Sava River) and Lower Carniola (territory on the right bank of the Sava River). The entire municipality is now included in the Lower Sava Statistical Region.
Northland Township, St. Louis County, Minnesota
Northland Township is a township in Saint Louis County, Minnesota, United States. The population was 169 at the 2010 census.

U.S. Highway 53 serves as a main route in the township.

The community of Canyon is located within Northland Township.

Canyon is located 27 miles north of the city of Duluth at the junction of U.S. Highway 53 and Harris Road (County Road 737).

St. Louis County, Minnesota
St. Louis County is a county  in the Arrowhead Region of  Minnesota. As of the 2020 census, the population was 200,231. Its county seat is Duluth. It is the largest county in Minnesota by land area, and the largest in the United States by total area east of the Mississippi River.
St. Louis County is included in the Duluth, MN–Superior, WI Metropolitan Statistical Area.

Major industries include pulpwood production and tourism. Open pit mining of taconite and processing it into high grade iron ore remains an important part of the economy of the Iron Range and is directly tied to shipping in the twin ports of Duluth and Superior. Parts of the federally recognized Bois Forte and Fond du Lac Indian reservations are in the county.
Listed buildings in Waterhouses, Staffordshire
Waterhouses is a civil parish in the district of Staffordshire Moorlands, Staffordshire, England. It contains 46 listed buildings that are recorded in the National Heritage List for England.  Of these, three are at Grade II*, the middle of the three grades, and the others are at Grade II, the lowest grade.  The parish consists of the village of Waterhouses and the surrounding area, including the settlements of Calton, Cauldon, and Waterfall.  The area is rural and most of the listed buildings are houses and associated structures, cottages, farmhouses and farm buildings.  The other listed buildings include the ruins of a former large house, churches and items in churchyards, stocks and a pump on a village green, public houses, and a series of mileposts along the A523 road.

Calton, Staffordshire
Calton is a village and a former parochial chapelry and civil parish, now in the parish of Waterhouses, in the Staffordshire Moorlands district of Staffordshire, England. In 1931 the parish had a population of 222. The chapelry contained the four parishes of Croxden, Blore, Mayfield, and Waterfall. In 1866, the four parishes became the civil parish of Calton, and on 1 April 1934 the parish was abolished to form Waterhouses. The village of Calton stands in the old parish of Mayfield, along with the chapel of St Mary.

The Peak District Boundary Walk runs through the village.
Tilekmat
Tilekmat (Kyrgyz: Тилекмат) is a settlement in the Issyk-Kul Region of Kyrgyzstan. It is part of the Jeti-Ögüz District. The settlement was named for Tilekmat Jylkyaydar uulu (Tilekmat Ake), Kyrgyz politician, people's diplomat and talented thinker, who was buried near it. Its population was 3,306 in 2021.

Jeti-Ögüz District
Jeti-Ögüz (Kyrgyz: Жети-Өгүз, IPA: [t͡ɕetʰɪ́ ɵɣʉ́s]; lit. 'Seven Bulls') is a district of Issyk-Kul Region in north-eastern Kyrgyzstan. Its seat lies at Kyzyl-Suu. Its area is 14,499 square kilometres (5,598 sq mi), and its resident population was 93,392 in 2021. It comprises much of the eastern end of the Terskey Ala-Too Range.