hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Geometric logic
In mathematical logic, geometric logic is an infinitary generalisation of coherent logic, a restriction of first-order logic due to Skolem that is proof-theoretically tractable. Geometric logic is capable of expressing many mathematical theories and has close connections to topos theory.

Topos
In mathematics, a topos (US: /ˈtɒpɒs/, UK: /ˈtoʊpoʊs, ˈtoʊpɒs/; plural topoi /ˈtɒpɔɪ/ or /ˈtoʊpɔɪ/, or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally, on a site). Topoi behave much like the category of sets and possess a notion of localization.  The Grothendieck topoi find applications in algebraic geometry, and more general elementary topoi are used in logic.

The mathematical field that studies topoi is called topos theory.
Carderock Recreation Area
Carderock Recreation Area is a 100-acre park in Carderock, Maryland, part of the Chesapeake and Ohio Canal National Historical Park. The area is well known as a destination for its outdoor activities of rock climbing, hiking and biking. It is bounded by the Potomac River on the south and the Chesapeake and Ohio Canal on the north, and it is accessed from Clara Barton Parkway from the same exit as Carderock Division of the Naval Surface Warfare Center.

The Recreation Area includes a picnic shelter, section C of the Billy Goat Trail, convenient access to the Chesapeake and Ohio Canal, and popular rock cliffs. The area has a long history of climbing and is notable for being the closest significant climbing area to Washington, D.C. As such, it is one of the most climbed cliffs in the eastern United States. There is no fee to enter the park.

Billy Goat Trail
38°59′38″N 77°14′45″W﻿ / ﻿38.9938°N 77.2458°W﻿ / 38.9938; -77.2458﻿ (Billy Goat Trail Head)

The Billy Goat Trail is a 4.7-mile (7.6 km) hiking trail that follows a path between the C&O Canal and the Potomac River within the Chesapeake and Ohio Canal National Historical Park near the Great Falls in Montgomery County, Maryland. The trail has three sections: Section A, the northernmost, is 1.7 miles (2.7 km); Section B is 1.4 miles (2.3 km); and Section C, the southernmost, is 1.6 miles (2.6 km)
Believe (The Chemical Brothers song)
"Believe" is the second single from English electronic music duo the Chemical Brothers' fifth studio album, Push the Button (2005). The single was released on 2 May 2005 and peaked at number 18 on the UK Singles Chart while reaching the top 20 in Italy and Spain. Kele Okereke, lead singer and rhythm guitarist of the indie rock band Bloc Party is featured on vocals. A remix of the song was featured in the 2005 snowboarding video "Flavor Country" by Sandbox.

The Chemical Brothers
The Chemical Brothers are an English electronic music duo formed by Ed Simons and Tom Rowlands in Manchester in 1992. They were pioneers in bringing the big beat genre to the forefront of pop culture.

Originally known as The Dust Brothers, they changed their name due to the existence of another band with the same name. Their first album Exit Planet Dust sold over one million copies and debuted at No. 9 on the UK Albums Chart. After attracting Virgin Records, the duo achieved further success with their second album Dig Your Own Hole (1997), which topped the UK chart. They have had six No. 1 albums and 13 top-20 singles in the UK, including two chart-toppers. They have won six Grammy Awards, including Best Rock Instrumental Performance, Best Dance Recording, and Best Dance/Electronic Album.
John Grimes (bishop of Syracuse)
John Grimes (December 18, 1852 – July 26, 1922) was an Irish-born prelate of the Roman Catholic Church. He served as bishop of Syracuse in New York State from 1912 until his death in 1922. He previously served as coadjutor bishop of Syracuse from 1909 to 1912.

Diocese of Syracuse
The Diocese of Syracuse (Latin: Diœcesis Syracusensis) is a Latin Church ecclesiastical territory, or diocese, of the Catholic Church in Upstate New York in the United States. Its episcopal see is located in Syracuse. It is a suffragan diocese in the ecclesiastical province of the metropolitan Archdiocese of New York.

On June 4, 2019, Pope Francis appointed Douglas Lucia to be the next Bishop of Syracuse.
GS&WR 0-6-4T
The (GS&WR) 0-6-4T were a set of 6 locomotives of two variants of the 0-6-4T arrangement designed by Alexander McDonnell.  When introduced in 1876 it was the first use of a 0-6-4 configuration in the British Isles.  The final four locomotives were to be designated GS&WR Class 203.

Alexander McDonnell (engineer)
Alexander McDonnell was an Irish locomotive engineer and civil engineer. He was born in Dublin on 18 December 1829 and died in Holyhead on 14 December 1904.  He was educated at Trinity College Dublin, where he graduated with an honours BA in mathematics (1851). He brought order and standardisation to the workshops and locomotive designs of the Great Southern and Western Railway of Ireland, and was later employed to do the same for the North Eastern Railway in England, although resistance to his changes meant little progress was made before he left.
Fairchild C-119 Flying Boxcar
The Fairchild C-119 Flying Boxcar (Navy and Marine Corps designation R4Q) is an American military transport aircraft developed from the World War II-era Fairchild C-82 Packet, designed to carry cargo, personnel, litter patients, and mechanized equipment, and to drop cargo and troops by parachute. The first C-119 made its initial flight in November 1947, and by the time production ceased in 1955, more than 1,100 had been built.

Air National Guard
The Air National Guard (ANG), also known as the Air Guard, is a federal military reserve force of the United States Air Force (USAF), as well as the "air militia" of each U.S. state, the District of Columbia, the Commonwealth of Puerto Rico, and the territories of Guam and the U.S. Virgin Islands. It, along with the Army National Guard component of each state, district, commonwealth or territory, makes up the National Guard of each region as applicable. Additionally, the ANG and the United States Air Force Reserve constitute the two air reserve components of the USAF.

When Air National Guard units are used under the jurisdiction of the state governor they are fulfilling their militia role. However, when federalized by order of the president of the United States, ANG units become an active part of the U.S. Air Force. They are jointly administered by the states and the National Guard Bureau, a joint bureau of the Army and Air Force that oversees the U.S. National Guard.
Malachite
Malachite (/ˈmæl.əˌkaɪt/) is a copper carbonate hydroxide mineral, with the formula Cu2CO3(OH)2. This opaque, green-banded mineral crystallizes in the monoclinic crystal system, and most often forms botryoidal, fibrous, or stalagmitic masses, in fractures and deep, underground spaces, where the water table and hydrothermal fluids provide the means for chemical precipitation. Individual crystals are rare, but occur as slender to acicular prisms. Pseudomorphs after more tabular or blocky azurite crystals also occur.

Acicular (crystal habit)
Acicular, in mineralogy, refers to a crystal habit composed of slender, needle-like crystals. Crystals with this habit tend to be fragile. Complete, undamaged acicular specimens are uncommon.

The term "acicular" derives from the Late Latin "acicula" meaning "little needle". Strictly speaking, the word refers to a growth habit that is slender and tapering to a point.  Prismatic crystals are not acicular; however, colloquial usage has altered the commonly understood meaning of the word. When writing for mineralogical publications, authors should restrict their usage of "acicular" to crystals with the tapering growth habit.

To add to the confusion, some minerals are described with various morphological terms.  For example, natrolite is often described as slender prismatic and millerite is often described as filiform or capillary.
INS Rajali
INS Rajali, (IATA: N/A, ICAO: VOAR) is an Indian naval air station located near Arakkonam, Chennai Metropolitan Area, Ranipet district, Tamil Nadu in southern India. It operates under the Southern Naval Command of the Indian Navy, and has the longest military runway in Asia.

Arakkonam
Arakkonam (Tamil: [aɾakkoːɳam]) is a railway town in the Ranipet district, state of Tamil Nadu. Included within the Chennai Metropolitan Area since 2022, Arakkonam is a major suburb of the state capital city Chennai, with a population of 78,395 per the census 2011. It is about 54 kilometres (34 mi) from the district headquarters Ranipet, and about 69 kilometres (43 mi) from Chennai.

Arakkonam is one of the hottest towns in India, where the temperature can exceed 43 °C (110 °F) for several peak days in summer it is famous for temples this city is developing day by day and it is one of the best city in Ranipet District The name 'Arakkonam' was derived from the word "Arunthamizhkundram" also later called "Aarukonam", meaning 'hexagon' which connects six important places around.
Appalachian Athletic Conference
The Appalachian Athletic Conference (AAC) is a college athletic conference affiliated with the National Association of Intercollegiate Athletics (NAIA). Members of the conference are located in the Southeastern United States in Tennessee, Kentucky, Georgia, South Carolina, North Carolina, and Virginia.

Bluefield University
Bluefield University  is a private Baptist university in Bluefield, Virginia. It offers 58 academic programs and is accredited by the Southern Association of Colleges and Schools.  The 82-acre (330,000 m2) campus is about 150 ft (46 m) from the state line between Virginia and West Virginia. It is affiliated with the Baptist General Association of Virginia. Bluefield University merged with Edward Via College of Osteopathic Medicine  which is on the campus of Virginia Tech in Blacksburg, Virginia.
Copper Bank
Copper Bank is a fishing village in the Corozal District of Belize. It is situated on the west bank of Laguna Seca, a shallow lagoon that empties into Chetumal Bay just north-east of the village. The closest settlement is Chunox, located approximately 1.25 miles away on the east bank of the Laguna Seca.

Access to the village is possible by road from Orange Walk, via the villages of San Estevan and Progresso. It is also possible to reach the village by road from Corozal, crossing the New River via the Pueblo Nuevo ferry, and from the populated community of Sarteneja, via a ferry across the mouth of Laguna Seca.

The village has been suggested as the site of a lost Mayan town, Uatibal, and several artifacts have been found in the vicinity.

Corozal District
Corozal is the northernmost district of the nation of Belize. The population was 46,071 in 2024. The district capital is Corozal Town.

Pre-Columbian Maya ruins are found in Corozal at Santa Rita near Corozal Town, and at Cerros.
WVLD
WVLD (1450 AM, "WVLD Rock 93.3") is a commercial radio station licensed to Valdosta, Georgia, United States, and serving the Valdosta area. Owned by Black Crow Media, it broadcasts a mainstream rock format.

As of September 1, 2015, WVLD 1450 was once again simulcasting their signal on 106.9 FM. The Black Crow Media rock station (formerly WWRQ Rock 108) was moved to WVLD and rebranded at "WVLD Rock 106.9".

Valdosta, Georgia
Valdosta is a city in and the county seat of Lowndes County in the U.S. state of Georgia. As the principal city of the Valdosta metropolitan statistical area, which in 2023 had a metropolitan population of 151,118, according to the US Census Bureau its metropolitan area includes Brooks County to the west. With a city population of 55,378 in 2020, Valdosta is the home of Valdosta State University, a regional university in the University System of Georgia with over 12,000 students as of 2021.
Miss Universe 1986
Miss Universe 1986 was the 35th Miss Universe pageant, held at the Atlapa Convention Centre in Panama City, Panama, on 21 July 1986. At the conclusion of the event, Bárbara Palacios of Venezuela was crowned by Deborah Carthy-Deu of Puerto Rico. Seventy-seven contestants competed in this year.

Atlapa Convention Centre
Atlapa Convention Centre (Spanish: Centro de Convenciones de Atlapa) is located in Panama City, Panama. The convention centre was opened in June 1980. Run by the Panamanian tourist authority, it contains 19 meeting rooms, some of which are capable of hosting up to 600 people.
Szabelnia
Szabelnia [ʂaˈbɛlɲa] is a village in the administrative district of Gmina Końskie, within Końskie County, Świętokrzyskie Voivodeship, in south-central Poland. It lies approximately 8 km (5 mi) west of Końskie and 43 km (27 mi) north-west of the regional capital Kielce.

Gmina Końskie
Gmina Końskie is an urban-rural gmina (administrative district) in Końskie County, Świętokrzyskie Voivodeship, in central Poland. Its seat is the town of Końskie, which lies approximately 38 kilometres (24 mi) north of the regional capital Kielce.

The gmina covers an area of 249.9 square kilometres (96.5 sq mi), and as of 2006 its total population is 36,373 (out of which the population of Końskie amounts to 20,667, and the population of the rural part of the gmina is 15,706).
2015 Townsville Blackhawks season
The 2015 Townsville Blackhawks season was the first in the club's history. Coached by Kristian Woolf and captained by Daniel Beasley, they competed in the Intrust Super Cup. The club won the minor premiership before losing in the grand final 20–32 to the Ipswich Jets.

Townsville Blackhawks
The Townsville & Districts Blackhawks are an Australian semi-professional rugby league football club based in Townsville, Queensland. They compete in Queensland's top rugby league competition, the Queensland Cup. The club was admitted to the Queensland Cup in September 2014, first competing in the 2015 season. The side plays their home games at Jack Manski Oval.
The Cult of Snap!
The Cult of Snap! is a compilation album from German Eurodance group Snap!.

Following Plaything's remixed version of their single "Do You See The Light" in 2002, Snap! re-worked and re-mixed their singles with various artists', leading the release of the album, "The Cult of Snap!" in 2003. Three additional singles were released; "Rhythm Is a Dancer (2003)", "The Power (Of Bhangra)" and "Ooops Up (2003)" and all charted in Germany.

The album peaked at #5 in Norway.

Snap!
Snap! is a German Eurodance group formed in 1989 by record producers Michael Münzing and Luca Anzilotti. The act has undergone several lineup changes over the years, featuring American singers, songwriters, and rappers such as Thea Austin, Turbo B, Niki Haris, and Penny Ford. Their most popular hits include "The Power" (1990) and "Rhythm Is a Dancer" (1992), both of which achieved no. 1 in the charts of multiple countries.
Shunahshepa
Shunahshepa (Sanskrit: शुनःशेप, romanized: Śunaḥśepa) is a legendary sage mentioned in Hindu mythology. A number of passages in Rigveda are attributed to him. He was adopted by the sage Vishvamitra, and given the new name Devarata. His name is also transliterated as Cunahcepa, Cunahçepa, Sunahsephas, Sunahshepa, and Shunashepa. He was first mentioned in Mandala 1, Hymn 24 of the Rigveda as a devotee of the God Varuna.

According to a legend, Shunahshepa was chosen to be sacrificed in a ritual, but was saved after praying to the Rigvedic deities. The earliest extant text to mention this legend is Aitareya Brahmana (7.13-18) of Rigveda. The story is repeated in the Balakanda (1.61) of Valmiki's Ramayana with some variations. Several other texts borrow the story: these include Sankhyana Srauta Sutra, Baudhayana Shrauta Sutra, the Puranas, and the works of Chandrakirti among others.

Purushamedha
Purushamedha (or Naramedha) is a Śrauta ritual of mock human sacrifice. The Vajasaneyi Samhita-Sataphatha Brahmana-Katyayana Srauta Sutra sequence of Shukla Yajur Veda texts contains the most details.

Whether actual human sacrifice was taking place has been debated since Colebrooke brought the issue under attention in 1805. He regarded it as a symbolic ritual. Since there is no inscriptural or other record of Purushamedha ever being performed, some scholars suggest it was invented simply to round out sacrificial possibilities. Asko Parpola suggests actual human sacrifices are described in Vedic texts, while the Brahmanas show the practice diminishing. In Shatapatha Brahmana 13.6.2, an ethereal voice intervenes to halt the proceedings. The dhatupatha of Aṣṭādhyāyī by Pāṇini defines the root medha as synergizing the energy to perform something fruitful.
Ace Ventura: Pet Detective (TV series)
Ace Ventura: Pet Detective, or simply Ace Ventura, is an animated television series based on the 1994 film. The series was produced by Morgan Creek Productions, Funbag Animation Studios, Nelvana Limited, for the first two seasons and Odyssey Entertainment in association with Hong Ying for the third and final season. It aired for two seasons from December 13, 1995 to August 30, 1997 on CBS. A third season and reruns of previous episodes aired on Nickelodeon from October 29, 1999 to February 4, 2000.

Ace Ventura: Pet Detective is one of three animated series based on Jim Carrey movies premiering in the same year; the others are the 1995–1997 The Mask: Animated Series, and the 1995–1996 Dumb and Dumber series.

Hong Ying Animation
Hong Ying Animation Co., Ltd. (simplified Chinese: 鸿鹰动画; traditional Chinese: 鴻鷹動畫; pinyin: Hóng Yīng Dònghuà) is a Chinese-Taiwanese animation studio founded in 1986. The studio has worked on several American and other foreign cartoons.
Ice All Stars
Ice All Stars is a figure skating show produced by IB sports and sponsored by Samsung Electronics. The show was headlined by former IB client Kim Yuna.

Ice All Stars 2009 was held in the Olympic Gymnastics Arena in Seoul, South Korea from August 14 to 16, 2009.

Ice All Stars 2009 was directed by Brian Orser, and choreographed by David Wilson.
The members of show are all Olympic champion or World Champion.

Robin Szolkowy
Robin Szolkowy (born 14 July 1979) is a retired German pair skater. With partner Aliona Savchenko, he is the 2010 and 2014 Olympic bronze medalist, a five-time World champion (2008, 2009, 2011, 2012, 2014), a four-time European champion (2007–2009, 2011), a four-time Grand Prix Final champion (2007, 2010, 2011, 2013), and an eight-time German national champion (2004–2009, 2011, 2014).

Savchenko and Szolkowy scored the first 10.0 ever given by a judge under the ISU Judging System.
Is It Love? Ultra Naté Best Remixes, Vol. 1
Is It Love? Ultra Naté Best Remixes, Vol. 1 is a compilation consisting of remixes of the singles from Ultra Naté's first album, Blue Notes in the Basement. This compilation was released on November 17, 1998.

Ultra Naté
Ultra Naté (born March 20, 1968) is an American singer, songwriter, record producer, DJ, and promoter who has achieved success on the pop charts with songs such as "Free", "If You Could Read My Mind" (as part of Stars on 54), and "Automatic".

Virtually all of her singles have reached the Top 10 of the US Hot Dance Club Play chart. These singles include "Show Me", "Free", "Desire", "Get It Up (the Feeling)", "Love's the Only Drug", and her number-one hits "Automatic", "Give It All You Got" featuring Chris Willis, "Waiting On You", and "Everybody Loves the Night". In December 2016, Billboard magazine ranked her as the 12th-most successful dance artist of all time so far.
Larry Miller (comedian)
Lawrence John Miller (born October 15, 1953) is an American comedian, actor, voice actor, podcaster, and columnist. He is primarily regarded as a character actor, with The A.V. Club noting that he "can be counted upon to improve every film or television show he appears in". His better known roles include Lou Bonaparte in Mad About You (1993–1998), Pointy-haired Boss in Dilbert (1999–2000), Edwin Poole in Boston Legal (2004–2008), Mr. Hollister in Pretty Woman (1990), Dean Richmond in The Nutty Professor (1996) and Nutty Professor II: The Klumps (2000), Walter Stratford in 10 Things I Hate About You (1999), Principal Elliot T. Jindraike in Max Keeble's Big Move (2001), and Paolo Puttanesca in The Princess Diaries (2001) and The Princess Diaries 2: Royal Engagement (2004). He reprised his role as Walter Stratford in the television series 10 Things I Hate About You (2009–2010).

Miller has also served as one of the regular players in Christopher Guest's mockumentary films.

Mad About You
Mad About You is an American television sitcom starring Paul Reiser and Helen Hunt as a married couple in New York City as they navigate life together. In later seasons, the couple has a daughter.

It initially aired on NBC from September 23, 1992, to May 24, 1999, winning numerous awards including four Golden Globe Awards and twelve Primetime Emmy Awards. In its final season, the show was dropped from its primetime slot, leading to a sharp decrease in viewership, and subsequently cancelled.

On March 6, 2019, a limited season 8 revival was picked up by Spectrum Originals for 12 episodes. Reiser and Hunt reprised their roles. The revival showed the couple as new empty nesters whose daughter was starting college at NYU. The events of the original series' finale, which showed the events of the next twenty years of the couple's lives, were retconned for the revival.
Greg Bahnsen
Greg Bahnsen (/ˈbɑːnsən/; September 17, 1948 – December 11, 1995) was an American Calvinist philosopher and Christian apologist. He was a minister in the Orthodox Presbyterian Church and a full-time Scholar in Residence for the Southern California Center for Christian Studies (SCCCS). He is also considered a contributor to the field of Christian apologetics, as he popularized the presuppositional method of Cornelius Van Til. He is the father of David Bahnsen, an American portfolio manager, author, and television commentator.

Christian apologetics
Christian apologetics (Ancient Greek: ἀπολογία, "verbal defense, speech in defense") is a branch of Christian theology that defends Christianity.

Christian apologetics have taken many forms over the centuries, starting with Paul the Apostle in the early church and Patristic writers such as Origen, Augustine of Hippo, Justin Martyr and Tertullian, then continuing with writers such as Thomas Aquinas, Duns Scotus, William of Ockham and Anselm of Canterbury during Scholasticism.

Blaise Pascal was an active Christian apologist during the 17th century. In the modern period, Christianity was defended through the efforts of many authors such as John Henry Newman, G. K. Chesterton and C. S. Lewis, as well as G. E. M. Anscombe.
John Oxley
John Joseph William Molesworth Oxley (1784 – 25 May 1828) was an English explorer and surveyor of Australia in the early period of British colonisation. He served as Surveyor General of New South Wales and is perhaps best known for his two expeditions into the interior of New South Wales and his exploration of the Tweed River and the Brisbane River in what is now the state of Queensland.

Redcliffe, Queensland
Redcliffe is a coastal town and suburb in the City of Moreton Bay, Queensland, Australia.  It also refers colloquially to the Redcliffe Peninsula as a whole, a peninsula jutting into Moreton Bay which contains several other suburbs.  Since the 1880s, Redcliffe has been a popular seaside resort in South East Queensland. In the 2021 census, the suburb of Redcliffe had a population of 10,460 people.