hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Sequent
In mathematical logic, a sequent is a very general kind of conditional assertion.

A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents"). A sequent is understood to mean that if all of the antecedent conditions are true, then at least one of the consequent formulas is true. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus.

Natural deduction
In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning. This contrasts with Hilbert-style systems, which instead use axioms as much as possible to express the logical laws of deductive reasoning.
July 16 (Eastern Orthodox liturgics)
July 15 - Eastern Orthodox liturgical calendar - July 17

All fixed commemorations below are celebrated on July 29 by Old Calendar.

For July 16th, Orthodox Churches on the Old Calendar commemorate the Saints listed on July 3.

July 17 (Eastern Orthodox liturgics)
July 16 - Eastern Orthodox Church calendar - July 18

All fixed commemorations below are celebrated on July 30 by Old Calendar.

For July 17th, Orthodox Churches on the Old Calendar commemorate the Saints listed on July 4.
Everglades High School
Everglades High School is a public school located in Miramar, Florida, United States. The school serves approximately 2,033 students from Miramar and Pembroke Pines in grades 9 through 12.

In the 2007–2008 school year, due to overpopulation, West Broward High School was constructed in Pembroke Pines, Florida, to resolve the overcrowding issue.

Everglades High had an FCAT school grade of "A" for the 2023-2024 school year. Everglades has a student to teacher ratio of 24:1, above the state average of 15:1.

Miramar, Florida
Miramar (/ˈmɪ.rə.mɑːr/, MIH-rə-mar) is a city in southern Broward County, Florida, United States. It is a suburb of the Miami metropolitan area. As of the 2020 census, the population was 134,721, making it the fourth-largest city in Broward County, the sixth-largest city in the Miami metro area, and the 14th-largest city in Florida.
Northeast Arizona Technological Institute of Vocational Education
The Northeast Arizona Technological Institute of Vocational Education (NATIVE) is a joint technological education district in the Arizona portion of the Navajo Nation reservation. Its programs are available to students at the member schools. The superintendent is Matthew Weber.

Joint technological education district
In Arizona, a joint technological education district (JTED) is a school district that offers high school career and technical education programs to partner school districts. The concept was created in 1990. There are 14 such districts in Arizona, the most recent being the one for Yuma County, which began operations in January 2015.
IBM 727
The IBM 727 Magnetic Tape Unit was announced for the IBM 701 and IBM 702 on September 25, 1953. It became IBM's standard tape drive for their early vacuum-tube era computer systems. Later vacuum-tube machines and first-generation transistor computers used the IBM 729-series tape drive. The 727 was withdrawn on May 12, 1971.

IBM 701
The IBM 701 Electronic Data Processing Machine, known as the Defense Calculator while in development, was IBM's first commercial scientific computer and its first series production mainframe computer, which was announced to the public on May 21, 1952. It was designed and developed by Jerrier Haddad and Nathaniel Rochester and was based on the IAS machine at Princeton.

The IBM 701 was the first computer in the IBM 700/7000 series, which were IBM's high-end computers until the arrival of the IBM System/360 in 1964.

The business-oriented sibling of the 701 was the IBM 702 and a lower-cost general-purpose sibling was the IBM 650, which gained fame as the first mass-produced computer.
Fatima Talba
Fatima Talba is a Nigerian politician from Yobe State, Nigeria. She is currently a member of the House of Representatives representing Nangere/Potiskum constituency in the 10th National Assembly. She is the chairperson of women Parliament of National Assembly.

Yobe State
YobeListenⓘ  is a state located in northeastern Nigeria. A mainly agricultural state, it was created on 27 August 1991. Yobe State was carved out of Borno State. The capital of Yobe State is Damaturu, and its largest city by population is Potiskum, while the largest by land area is Fune. The Potiskum local government area is a place of farmers and marketers; one of the largest cattle market in Africa is located in Potiskum.
Hohe Loog (Haardt)
The Hohe Loog, is a mountain, 619 m above sea level (NN), in the Haardt, the eastern rim of the Palatine Forest in Germany. The mountain lies within the borough of Neustadt an der Weinstraße in the southern part of the state of Rhineland-Palatinate.

Neustadt an der Weinstraße
Neustadt an der Weinstraße (German: [ˈnɔʏʃtat ʔan deːɐ̯ ˈvaɪnˌʃtʁaːsə]; lit. 'New City on the Wine Route'; Palatine German: Naischdadt an de Woischdrooß), formerly known as Neustadt an der Haardt, is a town in Rhineland-Palatinate, Germany. With 53,300 inhabitants as of 2020, it is the largest town called Neustadt.
One-Eyed Jack (comics)
One-Eyed Jack was a comic strip that appeared in the British anthology Valiant from December 1975 to October 1976, and then later in Battle Picture Weekly. It was about a tough New York detective called Jack McBane. The strip was created by Valiant editor and writer John Wagner and artist John Cooper.

Battle Picture Weekly
Battle Picture Weekly (at various times also known as Battle and Valiant, Battle Action, Battle Action Force, Battle and Battle with Storm Force) was a British weekly boys' war comic published by IPC Magazines from 8 March 1975 to 23 January 1988, when it merged with the new incarnation of Eagle after 644 issues. Most stories were set in World War II, with some based on other conflicts, while factual features also focused on warfare.

Devised by Pat Mills and John Wagner in response to rival DC Thomson's similarly themed Warlord, the title was an instant success. Many of the stories printed in the comic have since received critical acclaim and been published in collected editions, notably "Charley's War". Since 2016 Rebellion Developments have owned the majority of Battle Picture Weekly's characters and material, and have published revival publications.
Old East Haven High School
The Old East Haven High School is a historic former school building at 200 Tyler Street in East Haven, Connecticut.  Built in 1936, it was the town's first public high school, serving until the present-day East Haven High School opened in 1997.  Now converted into housing, the school was listed on the National Register of Historic Places in 2020.

East Haven, Connecticut
East Haven is a town in New Haven County, Connecticut, United States. As of the 2020 census, the town population was 27,923. The town is located 3 miles (5 km) east of New Haven, and is part of the South Central Connecticut Planning Region. East Haven is 35 miles (56 km) from Hartford, 82 miles (132 km) from New York City, 99 miles (159 km) from Providence, Rhode Island, and 140 miles (230 km) from Boston.
Fleshmarket Close
Fleshmarket Close is a 2004 crime novel by Ian Rankin. It is the fifteenth of the Inspector Rebus novels. It was released in the US under the title Fleshmarket Alley.

The novel was the basis for the second episode in the second Rebus television series starring Ken Stott, which was aired in 2006.

Inspector Rebus
The Inspector Rebus books are a series of detective novels by the Scottish author Ian Rankin. The novels, centred on Detective Inspector John Rebus, are mostly based in and around Edinburgh. They are considered an important contribution to  'Tartan Noir'.
Gloucester Harbour Trustees
The Gloucester Harbour Trustees are the competent harbour authority (CHA) for the tidal part of the River Severn from the Gloucester weirs (Llanthony and Maisemore) down to seaward of the Second Severn Crossing, on the Welsh side of the Severn Estuary (north of Denny Island) from the Second Severn Crossing as far as Goldcliff, and on the River Wye up to its tidal limit (Bigsweir).

Competent harbour authority
Competent harbour authorities (CHA) in the United Kingdom are those harbour authorities that have been given statutory powers relating to the provision of pilotage in their waters. The description was created by the Pilotage Act 1987, at which point a CHA had to be one whose harbour was wholly or partly within a pilotage district where at least one act of pilotage had been performed, or where a pilotage exemption certificate had been in force, between 1984 and 1987. However, the act provided a procedure by which other harbour authorities could be assigned CHA status and some harbours have taken advantage of this process. The Marine Navigation Act 2013 amended the Pilotage Act to provide a reverse process, so that harbour authorities could be relieved of CHA status.
2022 Barrie municipal election
The 2022 Barrie municipal election was a municipal election held on October 24, 2022, to elect the mayor of Barrie, Barrie City Councillors and the Simcoe County District School Board, Simcoe Muskoka Catholic District School Board, Conseil scolaire catholique MonAvenir and Conseil scolaire Viamonde members. The election was held on the same day as elections in every other municipality in Ontario.

The candidates registered to run for Barrie City Council are as follows:

2022 Ontario municipal elections
The 2022 municipal elections in Ontario were held on October 24, 2022.

Voters in the province of Ontario elected mayors, councillors, school board trustees and all other elected officials in all of the province's municipalities. The election date coincided with the religious festival of Diwali.

In total, 32 of Ontario's 444 municipalities did not hold elections, as their entire councils were elected by acclamation. In total, 139 municipalities had their mayors or reeves acclaimed. Elections were not held in Armour, Armstrong, Brethour, Chamberlain, Chapleau, Charlton and Dack, Dawn-Euphemia, Dorion, Drummond/North Elmsley, East Garafraxa, Enniskillen, Evanturel, Front of Yonge, Gordon/Barrie Island, Hilton, Hilton Beach, Hornepayne, Howick, Kerns, Lake of the Woods, Laurentian Hills, Minto, Oil Springs, Perry, Sioux Narrows-Nestor Falls, South River, Tay, The Archipelago, Thessalon and Thornloe.
2016–17 Ukrainian Second League
The 2016–17 Ukrainian Second League was the 26th season of 3rd level professional football in Ukraine. The competition commenced on 23 July 2016 with one match from Round 1. The spring session started on 18 March 2017 with the competition ending on 2 June 2017. The fixtures were announced on 16 July 2016.

FC Prykarpattia Ivano-Frankivsk (1998)
FC Prykarpattia Ivano-Frankivsk is a professional Ukrainian football from Ivano-Frankivsk. The club competes in the Ukrainian First League. The club has been reformed based on FC Teplovyk Ivano-Frankivsk that existed since 1998.

Former football clubs known as Prykarpattia Ivano-Frankivsk

FC Spartak Ivano-Frankivsk (1981–2003)

FSC Prykarpattia Ivano-Frankivsk (2007–2012, previously Fakel)
Hooksett, New Hampshire
Hooksett is a town in Merrimack County, New Hampshire, United States. The population was 14,871 at the 2020 census, up from 13,451 at the 2010 census. The town is located between Manchester, the state's largest city, and Concord, the state capital. A prominent landmark is Robie's Country Store, a National Historic Landmark and a frequent stop for presidential candidates during the New Hampshire primary.

The central village in town, where 5,283 people resided at the 2020 census, is defined as the Hooksett census-designated place and is located at a bridge crossing of the Merrimack River. The town also contains the census-designated place of South Hooksett.

Robie's Country Store
Robie's Country Store is a historic store at 9 Riverside Street in Hooksett, New Hampshire, United States. As a business, the general store was in continuous operation between 1822 and 1997, the last 110 years under the ownership of the Robie family from 1887, from whence it gets its name. The current building, constructed in 1906 following a fire, is a rare regional example of a store with a "boomtown" facade. It has been a political stop for presidential candidates since the early 1950s. Robie's Country Store was added to the National Register of Historic Places in 2000, and the New Hampshire State Register of Historic Places in 2002. It is now owned by a non-profit organization, with the store operated under lease.
The Promenade Bolingbrook
The Promenade Bolingbrook, also known as The Promenade, is a 778,000-square-foot (72,300 m2) open-air shopping center in Bolingbrook, Illinois. It opened on April 26, 2007, at the intersection of Boughton Road and Interstate 355. Anchor tenants include Bass Pro Shops, Macy's, Star Cinema Grill, Binny's Beverage Depot, Barnes & Noble and DSW. It is owned and managed by Rhino Investments Group.

Six buildings in The Promenade Bolingbrook have received LEED certification from the U.S. Green Building Council.

Bolingbrook, Illinois
Bolingbrook is a village in Will and DuPage counties in the U.S. state of Illinois. It is a southwest suburb of Chicago on I-55 and Historic Route 66 (Frontage Road). The village was a new town built on the Gateway Wetlands west of the Des Plaines River in the 1960s. Bolingbrook experienced rapid growth in the 1980s and 1990s, eventually becoming Will county's second-largest town after Joliet. Per the 2020 census, the population was 73,922. As of 2010, it is the 17th-largest incorporated place in Illinois and the state's second-largest village.
Camborne
Camborne (Cornish: Kammbronn, meaning "crooked hill") is a town and civil parish in Cornwall, England. At the 2021 census the population of the parish was 23,831 and the population of the built up area was 20,450. The town lies about 2 miles (3 km) inland, but the northern boundary of the parish is the coast, including Hell's Mouth and Deadman's Cove. The coast is followed by the South West Coast Path. As well as Camborne itself, the parish also includes a number of hamlets.

Camborne was formerly one of the most significant tin mining areas in the world. It is home to the Camborne School of Mines.

A30 road
The A30 is a major road in England, running 284 miles (457 km) WSW from London to Land's End.

The road has been a principal axis in Britain from the 17th century to early 19th century, as a major coaching route and post road. It used to provide the fastest route from London to the South West by land until a century before roads were numbered; nowadays much of this function is performed by the M3 (including A316) and A303 roads. The road has kept its principal status in the west from Honiton, Devon to Land's End where it is mainly dual carriageway and retains trunk road status.
Kim Simin
Kim Simin (Korean: 김시민; Hanja: 金時敏; 1554–1592) was a prominent Korean general during the Joseon period. He is most famous for having defended Jinju Castle against the Japanese invaders during the Seven Years' War. He came from the (old) Andong Kim clan.

Andong Kim clan
The Andong Kim clan (Korean: 안동 김씨; Hanja: 安東 金氏) refers to two Korean clans of Old Andong Kim Clan (구 안동 김씨; 舊 安東 金氏) and the New Andong Kim Clan (신 안동 김씨; 新 安東 金氏), respectively. They were prominent yangban families during Korea's Joseon Dynasty originating from Andong, North Gyeongsang province, during the Goryeo Dynasty. The clans produced many individuals who passed the gwageo examinations, along with 3 Queen Consorts during the Joseon Dynasty: Queen Sunwon, Queen Hyohyeon, and Queen Cheorin. Both clans derive from the Gyeongju Kim clan.
Anilingus
Anilingus (also spelled analingus) is an oral and anal sex act (anal–oral contact or anal–oral sex) in which one person stimulates the anus of another by using their tongue or lips.

The anus has a relatively high concentration of nerve endings and can be an erogenous zone, and so the recipient may receive pleasure from external anal stimulation, whereas pleasure for the giver is usually based more on the principle of the act. People may engage in anilingus for its own sake, before anal penetration, or as part of foreplay. All sexual orientations may participate in the act. Studies confirm anilingus to be one of the sexual practices between women, though only practiced by a minority.

Safer sex practices generally revolve around hygiene so as to prevent fecal–oral route transmission of diseases. Extra precautions include STI testing, dental dams, or enemas.

Sexual practices between women
Sexual activities involving women who have sex with women (WSW), regardless of their sexual orientation or sexual identity, can include oral sex, manual sex, or tribadism. Sex toys may be used.

Romantic or sexual interpersonal relationships are often subject to sexual desire and arousal, which then leads to sexual activity for sexual release. A physical expression of intimacy between women depends on the context of the relationship along with social, cultural and other influences. In some countries, lesbian sexual practices are criminalized alongside gay sexual practices.
Italian destroyer Vittorio Alfieri
Vittorio Alfieri was one of four Oriani-class destroyers built for the Regia Marina (Royal Italian Navy) in the mid-1930s. Completed in 1937, she served in World War II. She was sunk at the battle of Matapan on 28 March 1941 with the loss of 211 of her 246 crew including her commanding officer, Captain Salvatore Toscano.

Battle of Cape Matapan
The Battle of Cape Matapan  (Greek: Ναυμαχία του Ταινάρου) was a naval battle during the Second World War between the Allies, represented by the navies of the United Kingdom and Australia, and the Royal Italian Navy, from 27 to 29 March 1941. Cape Matapan is on the south-western coast of the Peloponnesian peninsula of Greece.

After the interception and decryption of Italian signals by the Government Code and Cypher School (GC&CS) at Bletchley Park (the decrypted intelligence codenamed Ultra), ships of the Royal Navy and Royal Australian Navy, under the command of Admiral Sir Andrew Cunningham, intercepted and sank or severely damaged several ships of the Italian Regia Marina under Squadron-Vice-Admiral Angelo Iachino. The opening actions of the battle are also known in Italy as the Battle of Gaudo.
Danny Almonte
Danny Almonte Rojas (born April 7, 1987) is a Dominican-American former baseball player who is an assistant baseball coach at Cardinal Hayes High School in New York City. Born in Moca in the Dominican Republic, Almonte was a Little League pitcher who threw up to 79 miles per hour (127 km/h). Considered a phenomenon as he led his Bronx team to a third place finish in the 2001 Little League World Series, Almonte was revealed to have actually been two years too old to play Little League baseball. Although there were many allegations during the 2001 Series, the truth was not revealed until weeks later.

2001 Little League World Series
The 2001 Little League World Series took place between August 17 and August 26 in South Williamsport, Pennsylvania. The Kitasuna Little League of Tokyo, Japan, defeated Apopka National Little League of Apopka, Florida, in the championship game of the 55th Little League World Series (LLWS). This tournament saw the expansion of pool play to 16 teams, eight from the United States, and eight from around the world. This was the first LLWS to use Little League Volunteer Stadium; it was built to accommodate games added to the pool stage and to host the tournament's consolation game for third place.
Thierry Baudet
Thierry Henri Philippe Baudet (Dutch: [ˈtɕɛri boːˈdɛ(t), - bʌuˈdɛ(t)]; born 28 January 1983) is a Dutch far-right politician, author, and self-declared conspiracy theorist. He is the founder and leader of Forum for Democracy (FvD), for which he was a member of the House of Representatives  between 2017 and 2026, with the exception of his paternity leave.

Oikofobie
Oikofobie: De angst voor het eigene (Oikophobia. The fear of home) is a 2013 Dutch book written by Thierry Baudet.

In the book Baudet follows Roger Scruton's criticism of cultural relativism and multiculturalism. Baudet uses the word Oikophobia and explains this as a term that stands for a type of self hate of the (left) elite towards their own traditional culture. According to Baudet this becomes visible in the society in the dominant preference for open borders within Europe, modern art, multiculturalism. The book forms, together with Baudets other book Aanval op de natiestaat, the foundation for his political program of his political party Forum voor Democratie.

Reviews about the book have appeared in De Groene Amsterdammer, Joop (VARA), Vlaams Belang, Trouw, Vrij Nederland, Nederlandse Publieke Omroep Kunststof, Propria Cures, De Dagelijkse Standaard.
Shirley, London
Shirley is an area of south London, England, within the London Borough of Croydon. It lies north of Spring Park and Addington, east of Addiscombe, south of Monks Orchard and west of West Wickham, and 10 miles south-southeast of Charing Cross. Prior to the creation of Greater London in 1965, Shirley was in the administrative county of Surrey.

The Shirley area is split into Shirley proper (centred on Wickham Road), Shirley Oaks (to the north) and Upper Shirley (to the west); the suburbs of Monks Orchard and Spring Park are sometimes also considered to be sub-districts of Shirley.

West Wickham
West Wickham is an area of south London, England, in the London Borough of Bromley. It lies south of Park Langley, Eden Park, Beckenham and Bromley town centre, west of Hayes and north of Coney Hall, east of Spring Park and Shirley. It is 10.3 miles (17 km) south-east of Charing Cross on the line of a Roman road, the London to Lewes Way. Before the creation of Greater London in 1965, West Wickham was in Kent.
Dr. Bhimrao Ambedkar Wildlife Sanctuary
Dr. Bhimrao Ambedkar Wildlife Sanctuary is a wildlife sanctuary located in the Sagar district of Madhya Pradesh, India. It was notified in April 2025 and covers 258.64 km2 under the North Sagar Forest Division, including areas of Banda and Shahgarh tehsils.

Sagar district
23°48′N 78°40′E﻿ / ﻿23.800°N 78.667°E﻿ / 23.800; 78.667
Sagar district (Hindi pronunciation: [saːgəɾ]) is a district of Madhya Pradesh state in central India. The town of Sagar serves as its administrative center. Sagar district is called the heart district of India. The Tropic of Cancer (23°3') passes through Rangir Tiraha on NH26 present NH44 in Sagar district.

The district has an area of 10,252 km², and a population of 2,378,458 (2011 census), an increase of 45% or by 732,260 inhabitants from its 1991 population of 1,646,198. Sagar district is dominated by Sonis, Jains and Yadavs.

As of 2011, it is the third most populous district of Madhya Pradesh, after Indore and Jabalpur.

Sagar is the largest city of the Sagar district. Bina Sagar is the second largest city and important industrial city of the district. Bina has Bina Thermal Power Plant, Bina Refinery, Railway MEMU shed and a major railway junction of Madhya Pradesh state.