hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Dallas–Fort Worth Film Critics Association Awards 2023
The 29th Dallas–Fort Worth Film Critics Association Awards, honoring the best in film for 2023, were announced on December 18, 2023. These awards "recognizing extraordinary accomplishment in film" are presented annually by the Dallas–Fort Worth Film Critics Association (DFWFCA), based in the Dallas–Fort Worth metroplex region of Texas. The association, founded in and presenting awards since 1990, includes 30 film critics for print, radio, television, and internet publications based in North Texas. It is also committed to ensuring that their membership represents a broad range of voices, ideas and perspectives from across cultural, gender and ideological spectra.

Oppenheimer was the DFWFCA's most awarded film of 2023, taking four honors: Best Director (Christopher Nolan), Best Actor (Cillian Murphy), Best Supporting Actor (Robert Downey Jr.), and Best Cinematography.

Dallas–Fort Worth Film Critics Association
The Dallas–Fort Worth Film Critics Association (DFWFCA) is an organization of over 20 print, radio/TV and internet journalists from Dallas–Fort Worth-based publications. In December of each year, the DFWFCA meets to vote on their Dallas–Fort Worth Film Critics Association Awards for films released in the same calendar year.

In December 2006, the Miami Herald described the association as "one of the most reliable bellwethers of the Academy Award for Best Picture."
2023 Abia State elections
The Abia State elections in 2023 were held on 25 February, 11 March, and 28 April 2023. As part of the nationwide election, the state voted for President and Vice President on 25 February. Additionally, elections for the Senate and the House of Representatives were held on the same day. On 11 March, the election for Governor of Abia State took place alongside elections to the state House of Assembly. Local government elections were scheduled for 28 April.

2023 Nigerian Senate elections in Abia State
The 2023 Nigerian Senate elections in Abia State was held on 25 February 2023, to elect the 3 federal Senators from Abia State, one from each of the state's three senatorial districts. The elections will coincide with the 2023 presidential election, as well as other elections to the Senate, and elections to the House of Representatives; with state elections being held two weeks later. Primaries were held between 4 April and 9 June 2022.

After the election, the candidate of the Labour Party, Darlington Nwokocha was declared winner, but a court ruling nullified the results and declared the Peoples Democratic Party, Augustine Akobundu winner
Modus tollens
In propositional logic, modus tollens (/ˈmoʊdəs ˈtɒlɛnz/) (MT), also known as modus tollendo tollens (Latin for "mode that by denying denies") and denying the consequent, is a deductive argument form and a rule of inference. Modus tollens is a mixed hypothetical syllogism that takes the form of "If P, then Q. Not Q. Therefore, not P." It is an application of the general truth that if a statement is true, then so is its contrapositive. The form shows that inference from P implies Q to the negation of Q implies the negation of P is a valid argument.

The history of the inference rule modus tollens goes back to antiquity. The first to explicitly describe the argument form modus tollens was Theophrastus.

Modus tollens is closely related to modus ponens. There are two similar, but invalid, forms of argument: affirming the consequent and denying the antecedent.  See also contraposition and proof by contrapositive.

Formal system
A formal system (or deductive system) is an abstract structure and formalization of an axiomatic system used for deducing, using rules of inference, theorems from axioms.

In 1921, David Hilbert proposed to use formal systems as the foundation of knowledge in mathematics.
However, in 1931 Kurt Gödel proved that any consistent formal system sufficiently powerful to express basic arithmetic cannot prove its own completeness. This effectively showed that Hilbert's program was impossible as stated.

The term formalism is sometimes a rough synonym for formal system, but it also refers to a given style of notation, for example, Paul Dirac's bra–ket notation.
Norfolk Road railway station
Norfolk Road railway station was a small rural railway station on the Marton–New Plymouth Line in Taranaki, New Zealand. Opening to all traffic on 17 December 1879 as part of the line’s extension from Inglewood towards Stratford, it served the local farming community in the area north of Tariki. The station was lightly equipped – typically just a shelter shed, a short passenger platform with a cart access, and a simple loading bank for goods. It saw limited use and was primarily a stopping place for local mixed trains and goods services rather than main express services. The station closed to all traffic in 1963.

Marton–New Plymouth line
The Marton–New Plymouth line (MNPL) is a secondary railway in the North Island of New Zealand, linking the Taranaki and Manawatū-Whanganui regions. It diverges from the North Island Main Trunk (NIMT) at Marton and follows the South Taranaki Bight along the west coast before turning inland to meet the Stratford–Okahukura Line (SOL) at Stratford, continuing on to New Plymouth.

Construction of the line was completed in 1885. With the completion of the SOL in 1933, the combined route provided an alternative western connection to the NIMT—though this role diminished when the SOL was mothballed in 2010. In its early years, the MNPL hosted the New Plymouth Express, the North Island’s first regional express service. Following the withdrawal of passenger services in 1977, the line has been used exclusively for freight.
Agin-Buryat Okrug
51°00′N 114°30′E﻿ / ﻿51.000°N 114.500°E﻿ / 51.000; 114.500

Agin-Buryat Okrug (Russian: Агинский Бурятский округ; Buryat: Агын Буряадай тойрог, romanized: Agiin Buryaadai toirog, IPA: [ɐˈɣɨɴ bʊˈrʲadæ ˈtœrəq]), or simply Aga Buryatia, is an administrative division of Zabaykalsky Krai, Russia. It was a federal subject of Russia (an autonomous okrug of Chita Oblast) until it merged with Chita Oblast to form Zabaykalsky Krai on 1 March 2008. Prior to the merger, it was called Agin-Buryat Autonomous Okrug (Агинский Бурятский автономный округ). Its administrative center is the urban-type settlement of Aginskoye. It is one of the two Buryat okrugs in Russia, the other one is Ust-Orda Buryat Okrug of Irkutsk Oblast.

Area: 19,312.3 square kilometers (7,456.5 sq mi)

Population:  77,167 (2010 census); 72,213 (2002 census); 77,032 (1989 Soviet census).

Buryat language
Buryat or Buriat, known in foreign sources as the Bargu-Buryat dialect of Mongolian, and in pre-1956 Soviet sources as Buryat-Mongolian, is a variety of the Mongolic languages spoken by the Buryats and Bargas that is classified either as a language or major dialect group of Mongolian.
Mount Sopris
Mount Sopris is a twin-summit mountain in the northwestern Elk Mountains range of the Rocky Mountains of North America.  The prominent 12,965-foot (3,952 m) mountain is located in the Maroon Bells-Snowmass Wilderness of White River National Forest, 6.6 miles (10.7 km) north by northeast (bearing 30°) of the community of Redstone in Pitkin County, Colorado, United States.

Maroon Bells–Snowmass Wilderness
The Maroon Bells–Snowmass Wilderness is a U.S. Wilderness Area located in the Elk Mountains of central Colorado.  The 181,535-acre (734.65 km2) wilderness was established in 1980 in the Gunnison and White River national forests. Within its boundaries are 100 miles (160 km) of trails, seven of Colorado's fourteeners and nine passes over 12,000 feet (3,700 m). The wilderness is named after the two peaks known as the Maroon Bells, and the Snowmass Mountain.
Gas in Turkey
Natural gas supplies over a quarter of Turkey's energy. The country consumes 50 to 60 billion cubic metres of natural gas each year, nearly all of which is imported. A large gas field in the Black Sea started production in 2023.

After the 2022 Russian invasion of Ukraine several European countries stopped buying Russian oil or gas, but Turkey's relations with Russia are good enough that it continues to buy both. Turkey receives much gas from Russia, which is cheaper than LNG. Households buy the most gas, followed by industry and power stations. Over 80% of the population has access to gas, and it supplies half the country's heating requirements. As the state-owned oil and gas wholesaler BOTAŞ has 80% of the gas market,: 16  the government can and does subsidize residential and industrial gas consumers. All industrial and commercial customers, and households using more than a certain amount of gas, can switch suppliers.

Etki Liman LNG Facility
Etki Liman LNG Facility is a floating production storage and offloading unit (FPSO) for 
liquefied natural gas (LNG) in İzmir Province, western Turkey. It is the country's first floating LNG storage facility.
John Hinchliffe
John Hinchliffe (1731 – 11 January 1794) was an English churchman and college fellow who was Master of Trinity College, Cambridge, 1768–88, Vice-Chancellor of the University of Cambridge, 1768–9, Chaplain to George III, 1768, Bishop of Peterborough, 1769–94, and Dean of Durham, 1788–94.

Bishop of Peterborough
The Bishop of Peterborough is the ordinary of the Church of England Diocese of Peterborough in the Province of Canterbury.

The diocese covers the counties of Northamptonshire (including the Soke of Peterborough) and Rutland.  The see is in the City of Peterborough, where the bishop's seat (cathedra) is located at the Cathedral Church of Saint Peter, Saint Paul and Saint Andrew. The bishop's residence is Bishop's Lodging, The Palace, Peterborough. The office has been in existence since the foundation of the diocese on 4 September 1541 under King Henry VIII.

The current Bishop of Peterborough is Debbie Sellin, since the confirmation, on 13 December 2023 at Lambeth Palace Chapel, of her election.

As parts of the City of Peterborough are actually in the Diocese of Ely (those parishes south of the River Nene), the last Bishop of Peterborough was appointed as an assistant bishop in the Diocese of Ely with pastoral care for these parishes delegated to him by the Bishop of Ely.
HD 80230
HD 80230 is a single star in the southern constellation of Carina, near the northern constellation border with Vela. It has the Bayer designation g Carinae, while HD 80230 is the star's identifier in the Henry Draper catalogue. This is a suspected variable star with a brightness that has been measured varying from magnitude 4.31 down to 4.35, both of which is bright enough for the star to be visible to the naked eye. The distance to this object is approximately 490 light years based on parallax, but it is drifting closer to the Sun with a radial velocity of −5 km/s.

This object is an aging red giant, currently on the asymptotic giant branch, with a stellar classification of M0.5IIIa. It is a mild barium star, showing trace enhancement of s-process elements in its spectrum. The star has 2.2 times the mass of the Sun and has expanded to 75 times the Sun's radius. It is radiating 1,172 times the luminosity of the Sun from its enlarged photosphere at an effective temperature of 3,904 K.

Carina (constellation)
Carina (/kəˈraɪnə, kəˈriːnə/ kə-RY-nə, -⁠REE-) is a constellation in the southern sky. Its name is Latin for the keel of a ship, and it was the southern foundation of the larger constellation of Argo Navis (the ship Argo) until it was divided into three pieces, the other two being Puppis (the poop deck), and Vela (the sails of the ship).
Java syntax
The syntax of Java is the set of rules defining how a Java program is written and interpreted.

The syntax is mostly derived from C and C++. Unlike C++, Java has no global functions or variables, but has data members which are also regarded as global variables. All code belongs to classes and all values are objects. The only exception is the primitive data types, which are not considered to be objects for performance reasons (though can be automatically converted to objects and vice versa via autoboxing). Some features like operator overloading or unsigned integer data types are omitted to simplify the language and avoid possible programming mistakes.

The Java syntax has been gradually extended in the course of numerous major JDK releases, and now supports abilities such as generic programming and anonymous functions (function literals, called lambda expressions in Java). Since 2017, a new JDK version is released twice a year.

Syntax (programming languages)
The syntax of computer source code is code structured and ordered restricted to computer language rules. Like a natural language, a computer language (i.e. a programming language) defines the syntax that is valid for that language. A syntax error occurs when syntactically invalid source code is processed by a tool such as a compiler or interpreter.

The most commonly used languages are text-based with syntax based on strings. Alternatively, the syntax of a visual programming language is based on relationships between graphical elements.

When designing syntax, a designer of any language might start by writing down examples of both legal and illegal strings, before trying to figure out the general rules from those examples in use. Such that its general structure of syntax can be determined through its form of composition, so to yield semantically valid ranges everytime for each possible alteration. Or else, it returns errors, and warnings, for each invalid input.
National Waterway 3
Waterway map

The West Coast Canal or National Waterway No 3 is a 205 km (127 mi) long inland navigational route located in Kerala, India, which runs from Kollam to Kottapuram. It was declared a National Waterway in 1993. In addition to the main stretch, Champakara and Udyogmandal canals are navigable and connect the industrial centers of Kochi to Kochi port Inland Waterways Authority of India (IWAI) under the Ministry of Shipping is coordinating the task for developing, monitoring and administering national waterways. It is the first National Waterway in the country with 24-hour navigation facilities along the entire stretch. It has been extended to Kozhikode by the National Waterways Act, 2016. The National Waterway 3 mainly passes through the previous Thiruvananthapuram–Shoranur canal.

National Waterways Act, 2016
The National Waterways Act, 2016 is an Act of Parliament of India. It was tabled in Lok Sabha by Minister of Shipping, Road Transport and Highways Nitin Gadkari on 5 May 2015. The Act merges 5 existing Acts which have declared the 5 National Waterways and proposes 101 additional National Waterways. The Act came into force from 12 April 2016.
Cledan Mears
Christianity portal

John Cledan Mears (8 September 1922 – 13 July 2014) was the Anglican Bishop of Bangor from 1982 to 1992.

Mears was born on 8 September 1922.  He was educated at the University of Wales in Aberystwyth. Ordained in 1947, he began his ministry with curacies at Mostyn and Rhosllannerchrugog before being appointed Vicar of Cwm. From 1959 to 1973 he was a lecturer at Cardiff University after which he became the vicar of St Mark's Gabalfa, his last position  before his ordination to the episcopate.

Bishop of Bangor
The Bishop of Bangor is the ordinary of the Diocese of Bangor of the Church in Wales. The see is based in the city of Bangor where the bishop's seat (cathedra) is at Cathedral Church of Saint Deiniol.

The Report of the Commissioners appointed by his Majesty to inquire into the Ecclesiastical Revenues of England and Wales (1835) found the see had an annual net income of £4,464. This made it the second wealthiest diocese in Wales, after St Asaph.

The incumbent is Andy John, who was consecrated on 29 November 2008 and enthroned on 24 January 2009. The bishop's residence is Ty'r Esgob ("Bishop's House") in Bangor.
First Hittinger Block
The First Hittinger Block is a historic two-story building in Tucson, Arizona. It was designed in the Italianate style, and built in 1901. It was named for Anton Hittinger, an investor who purchased the building in 1892 and erected other buildings around it. It housed the Harry A. Drachman Shoe Company, whose eponymous founder served in the Arizona Senate from 1923 to 1924. It has been listed on the National Register of Historic Places since September 12, 2003.

National Register of Historic Places listings in Pima County, Arizona
This is a list of the National Register of Historic Places listings in Pima County, Arizona.

This is intended to be a complete list of the properties and districts on the National Register of Historic Places in Pima County, Arizona, United States. The locations of National Register properties and districts for which the latitude and longitude coordinates are included below, may be seen in a map.

There are 210 properties and districts listed on the National Register in the county, including 4 that are also National Historic Landmarks.  Three properties formerly listed have been removed from the National Register.

This National Park Service list is complete through NPS recent listings posted December 19, 2025.
Kowloon West (1995 constituency)
Kowloon West was a geographical constituencies in the election for the Legislative Council of Hong Kong in 1995, which elects one member of the Legislative Council using the first-past-the-post voting system. The constituency covers Sham Shui Po District in Kowloon.

The constituency was merged into the Kowloon West constituency in 1998 after the handover of Hong Kong a year before.

Sham Shui Po District
Sham Shui Po District is one of 18 districts of Hong Kong. It is the second poorest district by income in Hong Kong, with a predominantly working-class population of 405,869 in 2016 and the lowest median household income of all districts. Sham Shui Po has long been home to poorer new immigrants from China. It also saw the birth of public housing in Hong Kong, as the government sought to resettle those displaced by a devastating fire in its slums. Sham Shui Po also hosted a Vietnamese refugee camp during the influx of migration in the aftermath of the Vietnam War in the 1970s.

The district covers the Shek Kip Mei, Sham Shui Po, Cheung Sha Wan, Lai Chi Kok, Kowloon Tsai, So Uk, Un Chau, Tai Wo Ping and Yau Yat Chuen areas of New Kowloon, and Stonecutters Island of Kowloon.
2018 Bahrain Grand Prix
The 2018 Bahrain Grand Prix (formally known as the Formula 1 2018 Gulf Air Bahrain Grand Prix) was a Formula One motor race that took place on 8 April 2018 at the Bahrain International Circuit in Sakhir, Bahrain. The race was the second round of the 2018 Formula One World Championship and marked the 14th time that the Bahrain Grand Prix had been run as a round of the Formula One World Championship.

Sebastian Vettel was the defending race winner. He entered the round with a seven-point lead over Lewis Hamilton in the World Drivers' Championship. In the World Constructors' Championship standings, Ferrari hold a ten-point lead over Mercedes.

Bahrain International Circuit
The Bahrain International Circuit (Arabic: حلبة البحرين الدولية, romanized: Ḥalba al-Baḥrayn ad-Dawliyya) is a 5.412 km (3.363 mi) motorsport venue opened in 2004 and used for drag racing, GP2 Series (now FIA Formula 2), and the annual  Formula One Bahrain Grand Prix. The 2004 Grand Prix was the first  Formula One race held in the Middle East. Beginning in 2006, Australian V8 Supercars raced at the BIC, with the event known as the Desert 400. However, the V8 Supercars did not return for the 2011 V8 Supercar season. 24 Hour endurance races are also hosted at BIC. The circuit has a FIA Grade 1 license. The circuit also has multiple layouts.
2017 Northern Arizona Lumberjacks football team
The 2017 Northern Arizona Lumberjacks football team represented Northern Arizona University in the 2017 NCAA Division I FCS football season. They were led by 20th-year head coach Jerome Souers and played their home games at the Walkup Skydome. They were a member of the Big Sky Conference. They finished the season 7–5, 6–2 in Big Sky play to finish in a three-way tie for third place. They received an at-large bid into the FCS Playoffs where they were lost to San Diego in the first round.

2017 NCAA Division I FCS football season
The 2017 NCAA Division I FCS football season, part of college football in the United States, was organized by the National Collegiate Athletic Association (NCAA) at the Division I Football Championship Subdivision (FCS) level. The FCS Championship Game was played on January 6, 2018, in Frisco, Texas. The North Dakota State Bison beat the James Madison Dukes, 17–13, to capture their sixth title in seven years.
2023 Jetline roller coaster accident
Jetline was a steel roller coaster at Gröna Lund in Stockholm, Sweden. On 25 June 2023, a train partially derailed, resulting in one death and nine injuries. An investigation by the Swedish Accident Investigation Authority (SHK) found an improperly manufactured replacement control arm caused the derailment, leading to the permanent closure and later demolition of the ride.

Jetline (roller coaster)
Jetline was a steel roller coaster at Gröna Lund in Stockholm, Sweden. It opened on 23 April 1988 and was built by Zierer. In 2000, it was modified by Maurer AG to have a longer and steeper first drop, as well as to feature a tunnel at the bottom of the drop.

On 25 June 2023, a derailment occurred, causing the death of one rider and injuries to nine others. The ride did not operate again after this incident, and was eventually dismantled.
Weisenberg Township, Pennsylvania
Weisenberg Township is a township in Lehigh County, Pennsylvania, United States. The population of Weisenberg Township was 4,923 at the 2010 U.S. census. The township is a suburb of Allentown in the Lehigh Valley, which had a population of 861,899 and was the 68th-most populous metropolitan area in the U.S. as of the 2020 census.

Township (Pennsylvania)
A township, under the laws of the Commonwealth of Pennsylvania, is the lowest level of municipal incorporation of government. All of Pennsylvania's communities outside of incorporated cities, boroughs, and one town have been incorporated into individual townships that serve as the legal entities providing local self-government functions.

In general, townships in Pennsylvania encompass larger land areas than other municipalities, and tend to be located in suburban, exurban, or rural parts of the commonwealth. As with other incorporated municipalities in Pennsylvania, townships exist within counties and are subordinate to or dependent upon the county level of government.
Majharia, Unnao
Majharia is a village in Asoha block of Unnao district, Uttar Pradesh, India. It is not located on major district roads and has one primary school and no healthcare facilities. As of 2011, its population is 1,096, in 205 households.

The 1961 census recorded Majharia as comprising 1 hamlet, with a total population of 406 (206 male and 200 female), in 85 households and 80 physical houses. The area of the village was given as 359 acres.

Asoha
Asoha is a village in Purwa tehsil of Unnao district, Uttar Pradesh, India. It is located about 16 km north of Purwa, the tehsil headquarters, and 51 km east of Unnao, the district headquarters. The main crops grown here are wheat, barley, gram, juwar, paddy, and pulses, and irrigation is provided by a canal as well as by tanks. The soil here is mostly clay. As of 2011, the population of Asoha is 3,709, in 856 households.

Asoha is the headquarters of a community development block, which was first inaugurated on 1 July 1956 in order to oversee implementation of India's Five-Year Plans at a local and rural level. As of 2011, the block comprises 122 rural villages (including Asoha itself), with a total population of 153,798 people in 30,885 households. Asoha is also the headquarters of a nyaya panchayat.