OpenLLM-France/wikimedia huggingface dataset:
# Sandy King

Sandy King (1852? – November 9, 1881) was an outlaw of the Old West, and a member of the loosely knit gang the Cowboys in Cochise County, Arizona Territory, during the period when the outlaws clashed with deputy U.S. Marshal Virgil Earp in Tombstone and the resulting Gunfight at the O.K. Corral on October 26, 1881.

## Outlaw life

King is believed to have been born in either Texas or Arkansas. He became associated with the Clantons in the Arizona Territory as well as other outlaws of the day involved in armed robbery and cattle rustling. About 1879, King became close friends with "Russian Bill" Tattenbaum another member of the Cowboy gang.
In early 1881, about the time when tensions between the Earps and the Clantons reached the boiling point, King left Tombstone. Tattenbaum followed him, and the two stole cattle near Shakespeare, New Mexico Territory, now a ghost town. A vigilance committee in Shakespeare was organized to combat rustlers and other outlaws. In early November 1881, King was arrested after shooting and wounding a storekeeper following a dispute. He was arrested by well-known lawman "Dangerous Dan" Tucker for stealing cattle.
On November 9, 1881, Tucker captured Tattenbaum and charged him with cattle rustling. The vigilance committee held a mock trial at the Grant Hotel and found both men guilty of rustling and for being a "general nuisance". They were sentenced to be hanged that same day. "Russian Bill" begged for his life to be spared, and King argued that there were many who had committed the same crimes but who had not been hanged. However, the vigilance committee was unyielding, the two were lynched together. Their bodies were left hanging for days as a warning to other outlaws. Prior to the hanging, King asked for a glass of water, stating "My throat is sore after talking so much to save my life".

## Portrayal on television

The actor Luke Halpin offers a sympathetic portrayal of Sandy King as the youngest member of the Curly Bill Brocius gang in the 1968 episode "A Mule ... Like the Army's Mule" of the syndicated television series Death Valley Days, hosted by Robert Taylor. Robert Yuro plays Curly Bill, and Sam Melville was cast as Army Lt. Jason Beal, who befriended King.
# Formal proof

In logic and mathematics, a formal proof or derivation is a finite sequence of sentences (known as well-formed formulas when relating to formal language), each of which is an axiom, an assumption, or follows from the preceding sentences in the sequence, according to the rule of inference. It differs from a natural language argument in that it is rigorous, unambiguous and mechanically verifiable. If the set of assumptions is empty, then the last sentence in a formal proof is called a theorem of the formal system. The notion of theorem is generally effective, but there may be no method by which we can reliably find proof of a given sentence or determine that none exists. The concepts of Fitch-style proof, sequent calculus and natural deduction are generalizations of the concept of proof.
The theorem is a syntactic consequence of all the well-formed formulas preceding it in the proof. For a well-formed formula to qualify as part of a proof, it must be the result of applying a rule of the deductive apparatus (of some formal system) to the previous well-formed formulas in the proof sequence.
Formal proofs often are constructed with the help of computers in interactive theorem proving (e.g., through the use of proof checker and automated theorem prover). Significantly, these proofs can be checked automatically, also by computer. Checking formal proofs is usually simple, while the problem of finding proofs (automated theorem proving) is usually computationally intractable and/or only semi-decidable, depending upon the formal system in use.

## Background
### Formal language

A formal language is a set of finite sequences of symbols. Such a language can be defined without reference to any meanings of any of its expressions; it can exist before any interpretation is assigned to it – that is, before it has any meaning. Formal proofs are expressed in some formal languages.

### Formal grammar

A formal grammar (also called formation rules) is a precise description of the well-formed formulas of a formal language. It is synonymous with the set of strings over the alphabet of the formal language which constitute well formed formulas. However, it does not describe their semantics (i.e. what they mean).

### Formal systems

A formal system (also called a logical calculus, or a logical system) consists of a formal language together with a deductive apparatus (also called a deductive system). The deductive apparatus may consist of a set of transformation rules (also called inference rules) or a set of axioms, or have both. A formal system is used to derive one expression from one or more other expressions.

### Interpretations

An interpretation of a formal system is the assignment of meanings to the symbols, and truth values to the sentences of a formal system. The study of interpretations is called formal semantics. Giving an interpretation is synonymous with constructing a model.
# Sandi Sweitzer

Sandi Sue Sweitzer (born September 16, 1946) is an American former figure skater who competed in pairs with Roy Wagelein. They won the silver medal at the 1968 U.S. Championships and competed at the 1968 Winter Olympics.

## Personal life

Sweitzer was born on September 16, 1946, in Santa Monica, California. She married Roy Wagelein following the 1968 Olympics and the two had a daughter, Kristia, before divorcing.

## Career

Sweitzer was a member of the Pickwick Center Skating Club. She teamed up with Wagelein ahead of the 1967–68 season.
Sweitzer/Wagelein were awarded the silver medal at the 1968 U.S. Championships, having finished second to Cynthia Kauffman / Ronald Kauffman. They were included in the U.S. team to the 1968 Winter Olympics in Grenoble, France. The pair placed 8th in the short program, 6th in the free skate, and 7th overall at the Olympics. Making their final competitive appearance, they placed 8th at the 1968 World Championships in Geneva, Switzerland.
After retiring from competition, Sweitzer/Wagelein performed with the West Company of the Ice Capades for seven years.

## Results
### With Wagelein

International :
| Event | 1968 |
| Winter Olympics | 7th |
| World Championships | 8th |
| National ||
| U.S. Championships | 2nd |
# Portland Western

Portland West is a parliamentary constituency represented in the House of Representatives of the Jamaican Parliament. It elects one Member of Parliament MP by the first past the post system of election. The constituency consists of the western part of Portland Parish. It is represented by Labour MP Daryl Vaz. Vaz's wife Ann-Marie Vaz is MP for Portland Eastern.
# Kunzea peduncularis

Kunzea peduncularis, commonly known as mountain burgan, is a flowering plant in Myrtaceae, the myrtle family, and is endemic to Victoria, Australia. It is usually a dense shrub and has lance-shaped to egg-shaped leaves with the narrower end towards the base. Dense groups of white flowers appear in early summer.

## Description

Kunzea peduncularis is a spreading shrub which grows to a height of about 1–2 m (3–7 ft) but sometimes a single-trunked tree more than 4 m (10 ft) tall. The leaves are arranged alternately, lance-shaped to egg-shaped with the narrower end towards the base, 5–13 mm (0.2–0.5 in) long and 2–3.5 mm (0.08–0.1 in) wide with a petiole 1 mm (0.04 in) or less long. The flowers are white and crowded in leaf axils near the ends of the branches on pedicels up to 1 mm (0.04 in) long. The floral cup is about 3 mm (0.1 in) and usually hairy. The sepal lobes are green, triangular and about 1 mm (0.04 in) long. The petals are white, almost round and about 2 mm (0.08 in) in diameter and there are 50-65 stamens which are up to 4 mm (0.2 in) long. Flowering occurs between November and January.

## Taxonomy and naming

Kunzea peduncularis was first formally described in 1855 by Ferdinand von Mueller from a specimen found "at the foot of the Australian Alps on the banks of rivers and rivulets". The description was published in his book Definitions of rare or hitherto undescribed Australian plants. The specific epithet (peduncularis) is derived from the Latin word pedunculus meaning "small, slender stalk".
This kunzea was formerly included in Kunzea ericoides but that species is now regarded as a New Zealand endemic.

## Distribution and habitat

Mountain burgan grows in montane and subalpine woodland in eastern Victoria, usually at altitudes above 900 m (3,000 ft).

## Use in horticulture

Kunzea peduncularis is suitable for use as a screening plant. It grows best in full sun in well-drained soils and attracts butterflies.
# Kunzea occidentalis

Kunzea occidentalis is a flowering plant in the myrtle family, Myrtaceae and is endemic to a western New South Wales. It is a shrub with narrow leaves and small groups of white flowers on leafy side-branches. It is distinguished from the similar Kunzea ambigua by the flanges on the sides of its young branches.

## Description

Kunzea occidentalis is a shrub which usually grows to a height of 1–2.5 m (3–8 ft) with its young branches having its leaf bases as raised, spongy, cream-coloured tissue. The leaves are arranged alternately, linear to narrow lance-shaped, 4–6.5 mm (0.2–0.3 in) long and about 1 mm (0.04 in) wide with a petiole usually less than 1 mm (0.04 in) long. The flowers are arranged singly or in groups of up to six near the ends of the branches. There are egg-shaped to elliptic bracts about 2 mm (0.08 in) long and 1 mm (0.04 in) wide and smaller paired bracteoles at the base of the flowers. The floral cup is glabrous and 3–4 mm (0.1–0.2 in) long with the sepal lobes 1–1.5 mm (0.04–0.06 in) long and glabrous. The petals are white, broadly egg-shaped to almost round and about 2–3 mm (0.08–0.1 in) long. There are about 50-60 stamens which are 2–5 mm (0.08–0.2 in) long. Flowering occurs in October and November.

## Taxonomy and naming

Kunzea occidentalis was first formally described in 2016 by Hellmut R. Toelken and the description was published in Journal of the Adelaide Botanic Garden. The specific epithet (occidentalis) is a Latin word meaning "western" referring to the distribution of this species on the western side of the Great Dividing Range.

## Distribution and habitat

This kunzea grows in heath and forest, mainly in rocky places and in creek beds. It is found on the western slopes of the Great Dividing Range and is common in the Warrumbungle and Mount Kaputar national parks.
# Kvåsefjorden

Kvåsefjorden is an approximately 8-kilometre (5.0 mi) long fjord in Agder county, Norway. It forms part of the border between the municipalities of Lillesand and Kristiansand. The district of Randesund lies on the west side of the fjord in Kristiansand.
The fjord empties into the Skagerrak at Meholmen near Ulvøysund, which is considered to be the western starting point of the Blindleia strait. Blindleia is the inner shipping route along the coast of Lillesand. The smaller Isefjærfjorden is a branch off the main Kvåsefjorden. Kvåsefjorden can sometimes be harsh and difficult to cross with small boats, because it is wide open to the Skagerrak and there is no archipelago to protect it unlike in the nearby Blindleia.
# Sandy Johnson (baseball)

Sanfrid DeForest Johnson (born October 24, 1940) is an American professional baseball scout and player development executive. Johnson spent the 2009 season as vice president, scouting, of the New York Mets of Major League Baseball. He also is the brother of former Major League infielder, coach and manager Tim Johnson.
During his playing career, Sandy Johnson spent seven seasons (1959–62; 1964–66) in the Pittsburgh Pirates' organization as a second baseman, third baseman and shortstop. He batted .254 in 768 games and never rose above the Class A level. Johnson threw and batted right-handed, stood 6 feet (1.83 m) tall and weighed 165 pounds (75 kg).
He was a minor league manager in the Milwaukee Brewers' farm system from 1970 to 1972, then became a Milwaukee scout in 1973. The following year, he switched to the Major League Baseball Scouting Bureau, where he was the East Coast supervisor through 1981. He then assumed high-level scouting and player development positions for the San Diego Padres (director of scouting, 1982–84); Texas Rangers (assistant general manager/scouting and player development, 1985–95; special assistant to the general manager, 1996); and Arizona Diamondbacks (special assistant to the general manager, 1997–98; assistant GM, 1999–2003; vice president and senior assistant GM, 2004).
In 2005 Johnson joined the Mets as assistant general manager and was promoted to vice president, scouting, on December 6, 2006.
# Form (religion)

In academic discussions of organized religion, the term form is sometimes used to describe prescriptions or norms on religious practice.

## Christian forms

Forms in Christianity are mostly familiarly dictates of church authority or tradition (e.g. church government, liturgy, doctrine). However, the term is used by some authors to refer to a broader category that includes other patterns of religious practice.
Most notably, Christian scholar D. G. Hart uses this term to compare and contrast the practices of evangelical Protestants and what he calls "confessional Protestants" (for example Anglicans and most Lutherans). He argues that the confessionals follow forms that are dictated by church authority or tradition, and calls these forms churchly forms. On the other hand, noting the resistance to such central authority and tradition among evangelicals, he labels the forms of these denominations parachurchly forms, as they are often dictated by parachurch organizations and other influences beyond the direct control of any particular church.
There is little debate over whether confessional Protestants use forms. However, whether similar devices are used by evangelicals is hotly contested. Much of the opposition comes from within evangelicalism itself, due to the antiritualistic tendencies of many denominations. Other scholars of religion have however noted the tendency toward certain accepted patterns in religious practice. Robert Oden notes that this is true of nearly all religions, not just Christianity, and that it is true even of those movements that claim to be antiritualistic.
If then we accept the broader usage of the word "form", there are a number of other forms besides the ones noted above. These include the products of what has, perhaps cynically, been called "Christian entrepreneurship", such as contemporary Christian music (and non-denominational praise songs), Christian T-shirts, and non-denominational book and video resources.
# Ponnuki

Ponnuki (ポン抜き, ponnuki, traditional Chinese: 開花; simplified Chinese: 开花; pinyin: kāi huā; Korean: 빵따냄 ppang-ttanaem or 빵때림 ppang-ttaerim; "open flower") is a Japanese term in the game of Go that refers to capturing a single stone, resulting in a diamond shape. The shape of the remaining capturing stones is considered to be very strong, due to its influence in all directions. A certain Go proverb says: "A Ponnuki is worth 30 points".
A diamond shape (4 stones touching the same empty spot) is considered a ponnuki only when constructed by capturing the middle stone.
Depending on the context (other stones on the board), a ponnuki may be strong and thick but inefficient (overconcentrated).

## Etymology

The word ponnuki (ポン抜き) breaks up into pon and nuki, in which pon is the sound of a cork when taken from a bottle, while nuki means "taking out" (noun), the expression means, 'to pop the cork', a poetic reference to taking the stone out of the centre.
# Sant'Agnese, Lodi

The Church of Sant'Agnese is a Gothic-style, Augustinian church in Lodi, Lombardy, a region of Italy. The church was expanded in 1393 by Bonifacio Bottigella when he became Bishop of Lodi. Bottigella oversaw the diocese until 1404. The church has been celebrated as representing a great moment in Lombard Gothic Architecture. The polygonal apse and two-tiered bell-tower are similar to that of the Lodi Cathedral.

## Facade

The Facade resembles that of the Lodi Cathedral. Its defining characters are its accentuated vertical extension, arched windows, a staggered cornice, unique pointed pinnacles, and Acroterion decoration.

## Interior

The interior has three naves of equal height supported by ornate groin-vaults. This is supported by rows of cylindrical pillars. The original structure is almost entirely intact, although the original late-Gothic paintings which adorned the walls have not survived.

### The Galliani Polyptych

The church houses a large polyptych by Albertino Piazza. The most important piece of art in the church, it was painted in 1520 which originally served as the Altarpiece. It was later relocated to a chapel on the first chapel of the right side of the aisles. The Tympanum shows a representation of the white dove between rays of light, a symbol of the Holy Spirit. The lunette shows a representation of God the Father imparting a blessing, flanked by scenes of annunciation.
# Kyu-chan no Dekkai Yume

Kyu-chan no Dekkai Yume (九ちゃんのでっかい夢, Kyu-chan's Big Dream) is a 1967 Japanese comedy film by film director Yoji Yamada.

## Plot summary

The movie begins in an old castle in Europe with a very old woman lying in bed, most likely dying. A priest, a nun and a man are praying in front of her bed. As they are praying, another man enters. He is a Japanese actor who, in broken German, says that he must talk to the old woman. The priest tries to hush him, but the old woman tells him to come in.

## Cast

* Chieko Baisho
* Muga Takewaki
* Hiroshi Inuzuka
* Ichirō Arishima
* Yumiko Kokonoe
# Kırkkaşık Bedesten

Kırkkaşık Bedesten is a bedesten (covered market) in Tarsus, Turkey. There are figures of lotus carved on the pediment of the bedesten. In the Medieval Age, the people named the bedesten Kırkkaşık (forty spoons) because they mistook the lotuses for spoons.

## Geography

The bedesten is in Tarsus, a district center in Mersin Province. It is situated at 36°55′N 34°54′E﻿ / ﻿36.917°N 34.900°E﻿ / 36.917; 34.900 in Camii Nur neighbourhood of Tarsus, adjacent to Tarsus Grand Mosque

## History

In Medieval Turkish tradition, Vakıf was a source of revenue, endowed by the commissioners of the mosques and other charitable institutions for the exploitation and the maintenance of these institutions. Kırkkaşık Bedesten was an vakıf and hospice commissioned by İbrahim Bey of Ramazanoğlu house of the Ottoman Empire in 1579 to support Tarsus Grand Mosque. (İbrahim Bey was also the commissioner of the mosque). In 1960-1961 the bedesten was repaired and reopened to public use.

## Details

The construction material of the 600 square metres (6,500 sq ft) rectangular plan bedesten is cut stone. The roof is made of five domes. There are 18 rooms all of which are used as shops in the bedesten.
# Kırkkavak, Uzunköprü

Kırkkavak is a village in the Uzunköprü District of Edirne Province in Turkey. Its population is 447 (2022).
# Porto das Caixas River

The Porto das Caixas River is a river of Rio de Janeiro state in southeastern Brazil.
# Port Import/Export Reporting Service

Port Import/Export Reporting Service (PIERS) is a trade information service offered by S&P Global Maritime Intelligence. Launched in the mid-1970s, PIERS is considered a pioneer in compiling digital data on global trade.

## Operations

PIERS gathers raw import Bills of Lading for all waterborne cargo vessels that enter and exit ports in the United States, sourced by U.S. Customs and Border Protection. Additionally, PIERS staff reporters manually collect export Bills of Lading from each port in the United States. These import and export records account for 17 million Bills of Lading collected by PIERS per year. The raw data is subsequently verified, analyzed, and synthesized with supplementary data sourced from The United Nations, United States Census, Dun & Bradstreet, and direct international country sources for use in PIERS trade intelligence tools. The synthesis of these multiple data sources forms the foundation for PIERS trade intelligence resources. PIERS also provides historical records dating from 1950 to the present.

## Products

PIERS trade intelligence tools are primarily used for market share and trend analysis, lead generation, fraud detection, to monitor contractual compliance, and to find buyers and suppliers. PIERS provides quantitative data pertaining to commodity details, including SIC and HS Codes, tonnage shipped, twenty-foot equivalent units (TEUs), and estimated values, as well as qualitative profiles on companies that import and export. In 2010, PIERS acquired CenTradeX, a provider of online trade intelligence tools for commodity trend analysis, statistical research, and lead prospecting.
PIERS serves multiple industries involved in importing and exporting, particularly the manufacturing, chemical, financial, and transportation industries, as well as several U.S. and foreign government agencies, and many ocean carriers. PIERS also periodically provides trade data for publications such as The Journal of Commerce, The New York Times, The Wall Street Journal, Bloomberg, and CNBC.
# Portuguese blenny

The Portuguese blenny (Parablennius ruber), also known as the red blenny, is a species of combtooth blenny found in the eastern Atlantic ocean off western Europe and Macaronesia.

## Description

The Portuguese blenny, like its sympatric congener the tompot blenny, has large pectoral fins with a long a dorsal fin which runs along the whole of the fish's back and an anal fin which is around half the length of the body. It has a square shaped caudal fin. The prominent eyes sit beneath a number of fringed tentacles placed on its head which has a small mouth. Their colour can be a bright red marked with darker and lighter bars and blotches along its flanks, although there are individuals which are duller, brown or orange. There is a dark blotch between the first two rays of the dorsa fin. This species reaches a length of 14.1 centimetres (5.6 in) TL. The meristics are that the dorsal fin has 8 spines and 19-20 soft rays, the anal fin has two spines and 21 rays, there are 14 rays in the pectoral fins and the pelvic fins have one spine and 3 rays. Like the tompot blenny this species also has no canine teeth in the upper jaw.

## Distribution

The Portuguese blenny occurs in the north eastern Atlantic Ocean. It was thought to be restricted to Portuguese territorial waters in the mainland, Berlengas, the Azores and Madeira but the species was revalidated in 1982 using morphological and in 2007 molecular data to separate it from the tompot blenny. The type was collected off Ouessant and the combination of the revalidation of the species and the increases in the number of observers using scuba has shown that this species is uncommon along the western coasts of Ireland and Scotland, as well as in the Scilly Islands. The species is also found on the Atlantic coasts of Spain and France.

## Habitat and biology

Portuguese blenny occur in shallow, rocky inshore waters where there are weeds, and tend not be found in deeper offshore waters. They are frequently recorded in the intertidal zone and will occasionally be trapped in rock pools as the tide recedes. This species is omnivorous feeding on red algae, cnidarians and amphipods as well as on gastropods worms and isopods and shrimp. Off Great Britain and Ireland the Portuguese blenny is most frequently found where there is steeply sloping bedrock, especially limestone which appears to provide a good number of crevices for this species to hide in. Compared to the tompot blenny the Portuguese blenny appears to be more gregarious.