OpenLLM-France/wikimedia huggingface dataset:
# Eucalyptus exserta

Eucalyptus exserta, commonly known as Queensland peppermint, peppermint, bendo, yellow messmate or messmate, is a species of tree or a mallee and is endemic to eastern Australia. It has hard, fibrous bark, lance-shaped adult leaves, flower buds in groups of seven, white flowers and hemispherical or cup-shaped fruit.

## Description

Eucalyptus exserta can grow as a mallee to a height of 5 metres (16 ft) or as a tree to 20 metres (66 ft) and forms a lignotuber. It has hard, rough, fissured, fibrous grey bark, usually from the base to the small branches. The slightly glossy to dull usually green adult leaves are arranged alternately, narrow lance-shaped to lance-shaped, 65–180 mm (2.6–7.1 in) long and 7–27 mm (0.28–1.06 in) wide on a petiole 8–20 mm (0.31–0.79 in) long. The flower buds are arranged in leaf axils in groups of seven on an unbranched peduncle 6–20 mm (0.24–0.79 in) long, the individual buds on pedicels 2–7 mm (0.079–0.276 in) long. Mature buds are oval, 7–11 mm (0.28–0.43 in) long and 4–7 mm (0.16–0.28 in) wide with a conical operculum. Flowering has been recorded in January, May and December and the flowers are white. The fruit is a woody, hemispherical or cup-shaped capsule 2–7 mm (0.079–0.276 in) long and 4–8 mm (0.16–0.31 in) wide with a raised disc and exserted valves.

## Taxonomy and naming

Eucalyptus exserta was first formally described in 1859 by the Victorian state botanist Ferdinand von Mueller in the Journal of the Proceedings of the Linnean Society, Botany. The species name is from the Latin word exsertus meaning exserted, referring to the valves of the fruit.

## Distribution and habitat

The species is found on stony rises and hills throughout much of central, southern and eastern Queensland, from around Charleville area east to the coast and then extending north to Mareeba. It is also found in a small area of northern New South Wales in the Bebo State Forest. E. exserta grows in infertile sandy soils as part of dry sclerophyll woodland communities.

## Ecology

It is a host tree for the mistletoe species Amyema miquelii,$^{:700}$ Dendrophthoe glabrescens$^{:709}$ and Dendrophthoe homoplastica.$^{:710}$
The leaves of the tree are a food source for koalas.

## Cultivation and uses

E. exserta is a profuse flowerer and is of some importance as food for honeybees. It can be grown as a shade or windbreak tree on farms in areas where it is native, growing best on soils with good drainage. E. exserta plantations were established in Guangdong Province in China to halt soil erosion in the early 1960s.
# 1933 NCAA Swimming and Diving Championships

The 1933 NCAA Swimming and Diving Championships were contested at Kiputh Pool at Payne Whitney Gymnasium at Yale University in New Haven, Connecticut as part of the 10th annual NCAA swim meet to determine the team and individual national champions of men's collegiate swimming and diving in the United States.
Only individual championships were officially contested during the first thirteen-NCAA sponsored swimming and diving championships. Unofficial team standings were kept but a team title was not officially awarded until 1937.
Northwestern are acknowledged as this year's unofficial team champions, the fourth such title for the Wildcats.
# 1986–87 Cupa României

The 1986–87 Cupa României was the 49th edition of Romania's most prestigious football cup competition.
The title was won by Steaua București against Dinamo București.

## Format

The competition is an annual knockout tournament.
First round proper matches are played on the ground of the lowest ranked team, then from the second round proper the matches are played on a neutral location.
If a match is drawn after 90 minutes, the game goes in extra time, if the scored is still tight after 120 minutes, then the winner will be established at penalty kicks.
From the first edition, the teams from Divizia A entered in competition in sixteen finals, rule which remained till today.

## First round proper

| Team 1 | Score | Team 2 |
| 10 December 1986 |||
| Automatica Alexandria (Div. C) | 2–2 (a.e.t.)(1-4 p) | (Div. A) Gloria Buzău |
| FEPA '74 Bârlad (Div. B) | 0–2 | (Div. A) Victoria București |
| Metalul Bocşa (Div. B) | 0–1 (a.e.t.) | (Div. A) Argeş Piteşti |
| ICIM Braşov (Div. B) | 3–0 | (Div. A) Chimia Râmnicu Vâlcea |
| Progresul Vulcan București (Div. B) | 1–2 | (Div. A) Petrolul Ploiești |
| IS Câmpia Turzii (Div. C) | 0–1 | (Div. A) Rapid București |
| FC Constanța (Div. B) | 2–0 | (Div. A) Universitatea Cluj |
| Jiul Petroşani (Div. A) | 4–1 | (Div. A) Corvinul Hunedoara |
| CIL Sighetu Marmației (Div. B) | 0–2 | (Div. A) Oțelul Galați |
| Victoria Tecuci (Div. C) | 1–3 | (Div. A) SC Bacău |
| CS Târgovişte (Div. B) | 0–1 | (Div. A) Sportul Studenţesc București |
| Flacăra Moreni (Div. A) | 1–2 | (Div. A) FCM Brașov |
| Minerul Paroşeni (Div. B) | 1–1 (a.e.t.)(4-5 p) | (Div. A) Universitatea Craiova |
| 28 February 1987 |||
| Explorări Câmpulung Moldov. (Div. C) | 1–0 (a.e.t.) | (Div. A) Olt Scornicești |
| 1 March 1987 |||
| Gloria Bistrița (Div. B) | 3–5 | (Div. A) Steaua București |
| 6 May 1987 |||
| Metalurgistul Cugir (Div. C) | 1–4 | (Div. A) Dinamo București |

## Second round proper

| Team 1 | Score | Team 2 |
| 27 May 1987 |||
| Steaua București | 2–0 | ICIM Braşov |
| Victoria București | 2–2 (a.e.t.)(3-2 p) | Sportul Studenţesc București |
| Dinamo București | 4–0 | Explorări Câmpulung Moldovenesc |
| Universitatea Craiova | 5–3 (a.e.t.) | FC Constanța |
| Oțelul Galați | 2–0 | Petrolul Ploiești |
| Rapid București | 1–0 | Jiul Petroşani |
| Argeş Piteşti | 4–2 (a.e.t.) | Gloria Buzău |
| FCM Brașov | 2–0 | SC Bacău |

## Quarter-finals

| Team 1 | Score | Team 2 |
| 16 June 1987 |||
| Steaua București | 1–0 | Rapid București |
| Dinamo București | 2–1 | Oțelul Galați |
| FCM Brașov | 2–1 (a.e.t.) | Argeş Piteşti |
| Victoria București | 1–0 (a.e.t.) | Universitatea Craiova |

## Semi-finals

| Team 1 | Score | Team 2 |
| 23 June 1987 |||
| Dinamo București | 4–2 | Victoria București |
| Steaua București | 4–0 | FCM Brașov |
# Australian High Commissioner to the Solomon Islands

The high commissioner of Australia to the Solomon Islands is an officer of the Australian Department of Foreign Affairs and Trade and the head of the High Commission of the Commonwealth of Australia to the Solomon Islands. The position has the rank and status of an ambassador extraordinary and plenipotentiary and is based with the High Commission on the corner of Hibiscus Avenue and Mud Alley, Honiara.
The high commissioner since January 2023 has been Rod Hilton, whose appointment was announced in November 2022. The Solomon Islands and Australia have had diplomatic relations since 1982, following the independence of Solomon Islands on 7 July 1978.

## List of high commissioners

| # | Officeholder | Term start date | Term end date | Time in office |
| 1 | Trevor Harvey Boyd Sofield | 1982 (1982) | 15 August 1985 (1985-08-15) | 2–3 years |
| 2 | Max Gaylard | 15 August 1985 (1985-08-15) | 1988 (1988) | 2–3 years |
| 3 | John Starey | 1988 (1988) | March 1992 (1992-03) | 3–4 years |
| 4 | Ruth Lorraine Pearce | March 1992 (1992-03) | June 1994 (1994-06) | 2 years, 3 months |
| 5 | Robert Kenneth Flynn | June 1994 (1994-06) | July 1997 (1997-07) | 3 years, 1 month |
| 6 | James Batley | July 1997 (1997-07) | July 1999 (1999-07) | 2 years |
| 7 | Martin Sharp | July 1999 (1999-07) | July 2001 (2001-07) | 2 years |
| 8 | Robert Davis | July 2001 (2001-07) | December 2003 (2003-12) | 2 years, 5 months |
| 9 | Patrick Cole | December 2003 (2003-12) | 12 September 2006 (2006-09-12) | 2 years, 9 months |
| 10 | Peter Hooton | 12 January 2007 (2007-01-12) | 12 May 2009 (2009-05-12) | 2 years, 120 days |
| 11 | Frank Ingruber | 12 May 2009 (2009-05-12) | 26 April 2011 (2011-04-26) | 1 year, 349 days |
| 12 | Matt Anderson | 26 April 2011 (2011-04-26) | 20 December 2013 (2013-12-20) | 2 years, 238 days |
| 13 | Andrew Byrne | 20 December 2013 (2013-12-20) | December 2016 (2016-12) | 2 years, 11 months |
| 14 | Roderick Brazier | December 2016 (2016-12) | 2019 (2019) | 2–3 years |
| 15 | Lachlan Strahan | 10 January 2020 (2020-01-10) | January 25, 2023 (2023-01-25) | 4 years, 8 months |
| 16 | Rod Hilton | January 2023 (2023-01) | incumbent | 1 year, 8 months |
# Badovinci

Badovinci (Serbian Cyrillic: Бадовинци, pronounced) is a village in Serbia. It is situated in the Bogatić municipality, in the Mačva District. The village has a Serb ethnic majority and its population numbering 5,406 people (2002 census).

## Name

The name of the settlement in Serbian is plural.
# Alf Wilkinson

Alfred Harold Wilkinson (31 December 1881 – 4 September 1938) was an Australian rules footballer who played for the Fitzroy Football Club in the Victorian Football League (VFL). He was Fitzroy's leading goalkicker in 1905 with 30 goals for the season.
# Alexander's Ragtime Band (band)

Alexander's Ragtime Band was one of the first all-steel percussion bands in Trinidad and Tobago and is considered a forerunner of the steelband. The band was organised at the Big Yard in Newtown in western Port of Spain, and first emerged on Carnival Monday morning in 1939. Named for the film Alexander's Ragtime Band, the band was louder and more mobile than tamboo bamboo bands that were popular at the time, and represented a change in musicality. They inspired the rapid adoption of steel percussion by bands in Port of Spain, leading to the development of the steelpan.

## History

Alexander's Ragtime Band formed from the Newtown tamboo bamboo band which was based at the Big Yard at the corner of Woodford Street and Tragarete Road in Newtown, in western Port of Spain. The Newtown tamboo bamboo band had been formed by former members of the Calvary tamboo bamboo band, which had played at the Calvary Calypso Tent located on Woodford Street. In the late 1920s or early 1930s their calypso tent was evicted by its landlord and relocated to Picton Street, but several members shifted to lower Woodford Street, where they established a stick fighting "gayelle", or arena, and formed a new tamboo bamboo band.
According to historian Kim Johnson, Alexander's Ragtime Band first emerged as part of the festivities on J'ouvert morning, 20 February 1939, from the Big Yard. Different accounts exist of when their first J'ouvert appearance took place, and Johnson notes the lack of any contemporary documentary evidence beyond a mention of "Eric Stowe's Bad Behaviour Rag Time Band, which was reported by to be the winner of the "Best Bamboo Band" in a 1939 Carnival Monday competition on Besson Street in Port of Spain by the Port of Spain Gazette.
The band was named after the film Alexander's Ragtime Band, which was released in Trinidad in 24 November 1938, and was mentioned by the Roaring Lion in a 1940 calypso. Since Lion's calypso would have been written before Carnival, Johnson felt confident that the band's first appearance was for J'ouvert in 1939.

## Impact

Although steel percussion had been used in tamboo bamboo bands before 1939, and an all-steel band (later known as the Gonzalez Rhythm Makers) had come out of Gonzalez in eastern Port of Spain in 1937, Alexander's Ragtime Band was the first to have more than one tone in their instruments. They were also different in their organisation and orchestration, and were much more mobile than any tamboo bamboo band.
Alexander's Ragtime Band inspired other tamboo bamboo bands to discard bamboo in favour of steel instruments, which drove the rapid development of the steelpan and the steelbands.
# Andrew L. Lewis (admiral)

Andrew Lloyd Lewis (born 1963) is a retired admiral in the United States Navy who last served as the commander of the United States Second Fleet and NATO Joint Force Command for the Atlantic. Lewis previously served as the Deputy Chief of Naval Operations for Operations, Plans and Strategy. He took command of the United States Second Fleet upon its reestablishment on August 24, 2018.

## Early life and education

Lewis was raised in Los Altos, California, and attended the United States Naval Academy where he received his commission after graduation in 1985. Lewis was designated a naval aviator in 1987 and has also attended the Air Command and Staff College, the Armed Forces Staff College, and holds a master's degree in military history from the University of Alabama.

## Career

During his career, Lewis has served in various roles in the United States Navy including commanding Carrier Strike Group 12, the Naval Strike and Air Warfare Center, Carrier Air Wing Three, Strike Fighter Squadron 106, Strike Fighter Squadron 15, and USS Theodore Roosevelt. He has also served as an instructor pilot as well as an exchange officer with the Royal Navy aboard HMS Invincible. Lewis has flown over 100 combat missions with over 5,300 flights hours in both the A-7 Corsair II and the F/A-18 Hornet. He has also held foreign postings in Qatar at Al Udeid Air Base and in Bahrain at United States Naval Forces Central Command.
Prior to being promoted to vice admiral in 2017, Lewis served as the vice director of operations for the Joint Staff. He has also served as vice director for operations and director of fleet training at Fleet Forces Command. Lewis became Deputy Chief of Naval Operations for Operations, Plans and Strategy in August 2017 and was nominated to take command of the newly reestablished Second Fleet on June 12, 2018. Lewis was confirmed on June 18, 2018 and assumed command of the Second Fleet upon its formal reactivation on August 24, 2018.
All of Lewis's operational command tours have been centered on the United States East Coast and in late 2018 he assumed command of the newly created NATO Joint Force Command Norfolk based in Norfolk, Virginia which is dual-hatted with the Second Fleet. With the announcement of Daniel W. Dwyer to succeed him as Second Fleet commander in June 2021, Lewis is expected to retire. He relinquished command of Second Fleet to Dwyer on August 20, 2021.

## Awards and decorations

Since receiving his commission, Lewis has received the Navy Distinguished Service Medal, the Defense Superior Service Medal with oak leaf cluster, the Legion of Merit (six awards), the Bronze Star Medal, the Defense Meritorious Service Medal, the Meritorious Service Medal, the Air Medal (seven Strike Flight and four Individual with Combat "V"), the Navy and Marine Corps Commendation Medal (three awards, two with Combat "V"), and the Navy and Marine Corps Achievement Medal, among a number of other decorations.
In 1996, Lewis was named the Naval Air Forces Pacific Pilot of the Year.

## Works

* The Revolt of the Admirals, Air Command and Staff College, Maxwell Air Force Base, April 1998.
# Australia women's cricket team in Ireland in 1987

The Australian women's cricket team toured Ireland between 28 June to 2 July 1987 to contest a three match WODI series. In this, Ireland's debut WODI series, Australia won each match by a margin of more than 100 runs.

## ODI series
### 1st ODI

* 28 June 1987 Scorecard
| Australia 2/187 (55 overs) | v | Ireland 77 (47.2 overs) |
| Lindsay Reeler 83 (159) | | Mary-Pat Moore 21 (74) Karen Brown 3/16 (10.2 overs) |
* Australia Women won by 110 runs Ormeau Cricket Ground, Belfast
* Australia Women won the toss and elected to bat.
* Donna Armstrong, Susan Bray, Grainne Clancy, Miriam Grealey, Rachel Hardiman, Mary-Pat Moore, Anne Murray, Elizabeth Owens, Sonia Reamsbottom, Alice Stanton and Pamela Trohear (Ire) all made their women's ODI debut.
* Anne Murray became the first Irish batsman to be dismissed in a women's ODI match.
* Alice Stanton became the first Irish batsman to score a duck in a women's ODI match.

### 2nd ODI

* 1 July 1987 Scorecard
| Australia 5/204 (55 overs) | v | Ireland 81 (47.2 overs) |
| Ruth Buckstein 90 (140) Susan Bray 2/25 (11 overs) | | Mary-Pat Moore 26 (85) Jenny Owens 5/29 (10.2 overs) |
* Australia Women won by 123 runs College Park, Dublin
* Australia Women won the toss and elected to bat.
* Stella Owens (Ire) made her women's ODI debut.
* Susan Bray became the first bowler to take a wicket for Ireland in a women's ODI match.

### 3rd ODI

* 2 July 1987 Scorecard
| Australia 3/208 (55 overs) | v | Ireland 103 (54.1 overs) |
| Lindsay Reeler 84 (143) Susan Bray 2/14 (11 overs) | | Sonia Reamsbottom 31 (97) Karen Brown 4/24 (11 overs) |
* Australia Women won by 105 runs College Park, Dublin
* Ireland Women won the toss and elected to field.
# 1955 Tourist Trophy

The 1955 Tourist Trophy may refer to the following races:
* The 1955 Isle of Man TT, for Grand Prix Motorcycles
* The 1955 RAC Tourist Trophy, for sports cars held at Dundrod
* The 1955 Dutch TT, for Grand Prix Motorcycles held at Assen
# Edmund Plowden (colonial governor)

Sir Edmund Plowden (1590 – July 1659 in Lydbury North, Shropshire, England) also titled Lord Earl Palatinate, Governor and Captain-General of the Province of New Albion in North America was an explorer and colonial governor who attempted to colonize North America in the mid-seventeenth century under a grant for a colony to be named New Albion. This attempt, fraught with mutiny, legal woes, lack of funds, and bad timing and compromised by Plowden's ill-temper, was a failure, and Plowden returned to England in 1649.

## Biography

The grandson of the eminent jurist, Edmund Plowden (1515–1585), Sir Edmund Plowden was born in 1590 to Francis Plowden (1562–1652) of Shiplake Court in Oxfordshire and Wokefield Park in Berkshire and his wife, Mary Fermor. Plowden married Mabel Marriner (1596–1674) in 1609.
# Exportation (logic)

Exportation is a valid rule of replacement in propositional logic. The rule allows conditional statements having conjunctive antecedents to be replaced by statements having conditional consequents and vice versa in logical proofs. It is the rule that:
    $((P\land Q)\to R)\Leftrightarrow (P\to (Q\to R))$
Where "$\Leftrightarrow$" is a metalogical symbol representing "can be replaced in a proof with." In strict terminology, $((P\land Q)\to R)\Rightarrow (P\to (Q\to R))$ is the law of exportation, for it "exports" a proposition from the antecedent of $(P\land Q)\to R$ to its consequent. Its converse, the law of importation, $(P\to (Q\to R))\Rightarrow ((P\land Q)\to R)$, "imports" a proposition from the consequent of $P\to (Q\to R)$ to its antecedent.

## Formal notation

The exportation rule may be written in sequent notation:
    $((P\land Q)\to R)\dashv \vdash (P\to (Q\to R))$
where $\dashv \vdash$ is a metalogical symbol meaning that $(P\to (Q\to R))$ is a syntactic equivalent of $((P\land Q)\to R)$ in some logical system;
or in rule form:
    ${\frac {(P\land Q)\to R}{P\to (Q\to R)}}$, ${\frac {P\to (Q\to R)}{(P\land Q)\to R}}.$
where the rule is that wherever an instance of "$(P\land Q)\to R$" appears on a line of a proof, it can be replaced with "$P\to (Q\to R)$", and vice versa.
Import-export is a name given to the statement as a theorem or truth-functional tautology of propositional logic:
    $((P\land Q)\to R)\leftrightarrow (P\to (Q\to R))$
where $P$, $Q$, and $R$ are propositions expressed in some logical system.

## Natural language
### Truth values

At any time, if P→Q is true, it can be replaced by P→(P∧Q).
One possible case for P→Q is for P to be true and Q to be true; thus P∧Q is also true, and P→(P∧Q) is true.
Another possible case sets P as false and Q as true. Thus, P∧Q is false and P→(P∧Q) is false; false→false is true.
The last case occurs when both P and Q are false. Thus, P∧Q is false and P→(P∧Q) is true.

### Example

It rains and the sun shines implies that there is a rainbow.
Thus, if it rains, then the sun shines implies that there is a rainbow.
If my car is on, when I switch the gear to D the car starts going. If my car is on and I have switched the gear to D, then the car must start going.

## Proof

The following proof uses a classically valid chain of equivalences. Rules used are material implication, De Morgan's law, and the associative property of conjunction.
| Proposition | Derivation |
| $P\rightarrow (Q\rightarrow R)$ | Given |
| $\neg P\lor (Q\rightarrow R)$ | material implication |
| $\neg P\lor (\neg Q\lor R)$ | material implication |
| $(\neg P\lor \neg Q)\lor R$ | associativity |
| $\neg (P\land Q)\lor R$ | De Morgan's law |
| $(P\land Q)\rightarrow R$ | material implication |

## Relation to functions

Exportation is associated with currying via the Curry–Howard correspondence.
# Archive Series (The Korgis album)

Professional ratings :
| Review scores ||
| Source | Rating |
| Allmusic | |
Archive Series a.k.a. The Korgis Archive is a compilation album by English pop band The Korgis. It was released by Rialto Records in 1997. This is a CD re-issue of the 1983 UK album The Best of The Korgis with eight additional tracks.

## Track listing

* "Everybody's Got to Learn Sometime" (Warren) - 4:13
** From 1980 album Dumb Waiters
* "If I Had You" (Davis, Rachmaninoff) - 3:54
** From 1979 album The Korgis
* "All the Love in the World" (Davis, Warren) - 3:38
** Single edit. Original version on 1981 album Sticky George
* "I Just Can't Help It" (Davis) - 3:44
** Single remix. Original version on 1979 album The Korgis
* "If It's Alright with You Baby" (Warren) - 4:01
** From 1980 album Dumb Waiters
* "That Was My Big Mistake" (Davis, Warren) - 4:01
** Single edit. Original version on 1981 album Sticky George
* "Domestic Bliss" (Gordon, Harrison, Warren) - 3:15
** From 1981 album Sticky George
* "O Maxine" (Warren) - 2:39
** From 1979 album The Korgis
* "Don't Say That It's Over" (Warren) - 2:46
** From 1981 album Sticky George
* "Drawn and Quartered" (Warren) - 3:17
** From 1980 album Dumb Waiters
* "It's No Good Unless You Love Me" (Warren) - 3:22
** From 1980 album Dumb Waiters
* "Rover's Return" (Davis) - 3:31
** From 1980 album Dumb Waiters
* "Sticky George" (Harrison, Warren) - 3:36
** From 1981 album Sticky George
* "Can't We Be Friends Now" (Warren) - 4:01
** From 1981 album Sticky George
* "Foolishness of Love" (Harrison) - 3:31
** From 1981 album Sticky George
* "Nowhere to Run" (Davis, Warren) - 4:15
** Original 1981 album version from Sticky George
* "Dumb Waiters" (Warren) - 2:42
** From 1980 album Dumb Waiters
* "Perfect Hostess" (Davis) - 3:21
** From 1980 album Dumb Waiters
* "Love Ain't Too Far Away" (Davis) - 3:29
** From 1980 album Dumb Waiters
* "Living on the Rocks" (Warren) - 3:32
** From 1981 album Sticky George

## Release history

* 1997 Rialto Records RMCD 213 (CD)
# Faja Lobbi

Faja Lobbi is a 1960 Dutch-Surinamese award-winning documentary film, directed by Herman van der Horst. Its alternative titles include Fiery Love en Symphony of the Tropics and it was shown at the Film Festivals in Berlin and Adelaide.