OpenLLM-France/wikimedia huggingface dataset:
# Provenance Markup Language

The Provenance Markup Language (abbreviated PML; originally called Proof Markup Language) is an interlingua for representing and sharing knowledge about how information published on the Web was asserted from information sources and/or derived from Web information by intelligent agents. The language was initially developed in support of DARPA Agent Markup Language with a goal of explaining how automated theorem provers (ATP) derive conclusions from a set of axioms. Information, inference steps, inference rules, and agents are the three main building blocks of the language. In the context of an inference step, information can play the role of antecedent (also called premise) and conclusion. Information can also play the role of axiom that is basically a conclusion with no antecedents. PML uses the broad philosophical definition of agent as opposed to any other more specific definition of agent.
The use of PML in subsequent projects evolved the language in new directions broadening its capability to represent provenance knowledge beyond the realm of ATPs and automated reasoning. The original set of requirements were relaxed to include the following: information originally represented as logical sentences in the Knowledge Interchange Format were allowed to be information written in any language including the English language; and inference rules originally defined as patterns over antecedents and conclusions of inference steps were allowed to be underspecified as long as they were identified and named. These relaxations were essential to explain how knowledge is extracted from text through the use of information extraction components. Enhancements were also required to further understand motivation behind the need of automated theorem provers to derive conclusions: new capabilities were added to annotate how information playing the role of axioms were attributes as assertions from information sources; and the notion of questions and answers were introduced to the language to explain to a third-party agent why an automated theorem prover was used to prove a theorem (i.e., an answer) from a given set of axioms.

## Development history

The first version of PML (PML1) was developed at Stanford University's Knowledge Systems Laboratory in 2003 and was originally co-authored by Paulo Pinheiro, Deborah McGuinness, and Richard Fikes. The second version of PML (PML2) developed in 2007 modularized PML1 into three modules to reduce maintenance and reuse cost: provenance, justification, and trust relations. A new version of PML (PML3) based on World Wide Web Consortium's PROV is under development.
# Provenance (film)

Provenance is a 2017 British drama film written and directed by Ben Hecking. The movie stars Charlotte Vega, Christian McKay and Harry Macqueen.
Provenance had its world premiere at the East End Film Festival on 17 June 2017, scoring 10/10 for its first rating after the festival.

## Synopsis

John Finch has fled to his holiday home in the south of France to start a new way of life. Whilst waiting for his younger lover Sophia to join him, a seemingly chance encounter with a man called Peter will threaten to destroy everything.

## Cast

* Charlotte Vega as Sophia
* Christian McKay as John Finch
* Harry Macqueen as Peter
* Chereene Allen as Lara
* Luke Beattie as Agent
* Ludivine Parra as Marie

## Reception
### Accolades

Provenance won Best Film and Best Supporting Actor (Harry Macqueen) at the Madrid International Film Festival on 15 July 2017. Charlotte Vega was nominated Best Actress at the same festival.
# Pterolophia tristis

Pterolophia tristis is a species of beetle in the family Cerambycidae. It was described by Stephan von Breuning in 1938.
# Pseudepipona

Pseudepipona is a genus of potter wasps found in the Palearctic, Nearctic, Afrotropical and Australian regions.Andrey sus

## Species

The following is a selection of some of the species are currently classified as members of the genus Pseudepipona:
* Pseudepipona aborigena Borsato, 2005
* Pseudepipona alaris (Saussure, 1853)
* Pseudepipona angulata (Saussure, 1856)
* Pseudepipona angusta (Saussure, 1863)
* Pseudepipona ankarensis Giordani Soika, 1970
* Pseudepipona aspra Giordani Soika, 1962
* Pseudepipona atlantica Giordani Soika, 1969
* Pseudepipona augusta (Moravitz, 1867)
* Pseudepipona aurantiopilosella (Giordani Soika, 1962)
* Pseudepipona beckeri (Moravitz, 1867)
* Pseudepipona bicolor (Saussure, 1855)
* Pseudepipona cherkensis Giordani Soika, 1942
* Pseudepipona cretensis Blüthgen 1941
* Pseudepipona clypalaris Giordani Soika, 1962
* Pseudepipona derufata Blüthgen, 1951
* Pseudepipona flava Giordani Soika, 1993
* Pseudepipona gineri (Schulthess, 1934)
* Pseudepipona herrichii (Saussure, 1856)
* Pseudepipona inexpectata Blüthgen, 1955
* Pseudepipona ionia Saussure, 1855
* Pseudepipona lamellifera Giordani Soika, 1987
* Pseudepipona lativentris (Saussure, 1855)
* Pseudepipona niveopicta Giordani Soika, 1970
* Pseudepipona oasis Giordani Soika, 1958
* Pseudepipona pallida Giordani Soika, 1977
* Pseudepipona peculiaris (Moravitz, 1895)
* Pseudepipona priesneri Gusenleitner, 1970
* Pseudepipona przewalskyi (Morawitz, 1885)
* Pseudepipona pseudominuta]] Gusenleitner, 1971
* Pseudepipona sellata (Moravitz, 1885)
* Pseudepipona sessilis (Saussure 1853
* Pseudepipona succincta (Saussure, 1853)
* Pseudepipona tricarinata (Kokujev, 1912)
* Pseudepipona tricolor Gusenleitner, 1976
* Pseudepipona vicina Gusenleitner, 1972
# Pseudepimolis rhyssa

Pseudepimolis rhyssa is a moth in the family Erebidae first described by Herbert Druce in 1906. It is found in Peru.
# Pteronia villosa

Pteronia villosa is a species of evergreen, woody, perennial plants in the genus Pteronia. It is endemic to the Namaqualand region of Southern Africa.

## Distribution

Pteronia villosa is found in Namibia and the Northern Cape .

## Conservation status

Pteronia villosa is classified as Least Concern.
# Pseudomelanoma

Pseudomelanoma (also known as a "recurrent melanocytic nevus", and "recurrent nevus") is a cutaneous condition in which melanotic skin lesions clinically resemble a superficial spreading melanoma at the site of a recent shave removal of a melanocytic nevus.$^{:689}$

## Problem with the recurrent nevus

The melanocytes left behind in the wound regrow in an abnormal pattern. Rather than the even and regular lace like network, the pigments tends to grow in streaks of varying width within the scar. This is often accompanied by scarring, inflammation, and blood vessel changes – giving both the clinical and histologic impression of a melanoma or a severe dysplastic nevus. When the patient is reexamined years later without the assistance of the original biopsy report, the physician will often require the removal of the scar with the recurrent nevus to assure that a melanoma is not missed.

## Saucerization biopsy

Also known as "scoop", "scallop", or "shave" excisional biopsy, or "shave excision". A trend has occurred in dermatology over the last 10 years with the advocacy of a deep shave excision of a pigmented lesion An author published the result of this method and advocated it as better than standard excision and less time-consuming. The added economic benefit is that many surgeons bill the procedure as an excision, rather than a shave biopsy. This save the added time for hemostasis, instruments, and suture cost. The great disadvantage, seen years later is the numerous scallop scars, and a very difficult to deal with lesions called a "recurrent melanocytic nevus". What has happened is that many "shave" excisions does not adequately penetrate the dermis or subcutaneous fat enough to include the entire melanocytic lesion. Residual melanocytes regrow into the scar. The combination of scarring, inflammation, blood vessels, and atypical pigmented streaks seen in these recurrent nevus gives the perfect dermatoscopic picture of a melanoma. When a second physicians re-examine the patient, he or she has no choice but to recommend the reexcision of the scar. If one does not have access to the original pathology report, it is impossible to tell a recurring nevus from a severely dysplastic nevus or a melanoma. As the procedure is widely practiced, it is not unusual to see a patient with dozens of scallop scars, with as many as 20% of the scars showing residual pigmentation. The second issue with the shave excision is fat herniation, iatrogenic anetoderma, and hypertrophic scarring. As the deep shave excision either completely remove the full thickness of the dermis or greatly diminishing the dermal thickness, subcutaneous fat can herniate outward or pucker the skin out in an unattractive way. In areas prone to friction, this can result in pain, itching, or hypertrophic scarring.
# Pseudovespicula dracaena

Pseudovespicula dracaena, the draco waspfish, is a species of marine ray-finned fish, a waspfish belonging to the subfamily Tetraroginae, which is classified as part of the family Scorpaenidae, the scorpionfishes and their relatives. This species is native to the western Indian Ocean. This species grows to a length of 7.5 centimetres (3.0 in) TL. This species is regarded as the only known member of its genus by some authorities, while others include 2 other species in that genus.
# Pueblo Opera House

The Pueblo Opera House (also known as the Grand Opera House) was a theater built in Pueblo, Colorado, and opened in 1890. The building was completely destroyed by a fire in 1922.
In June 1888 the architectural firm of Adler & Sullivan was contracted to design an opera house in Pueblo, Colorado. They were to be paid $400,000, the largest fee the firm had yet received for a building outside of Chicago.
The exterior of the four-story building was designed in a combination Richardsonian Romanesque and Italian Renaissance style, with rusticated Manitou red sandstone on a granite base.
The hall seated 1,200 people, and the balcony was the first in the United States to "span an auditorium without intermediate buttressing". The ceiling and walls of the auditorium were covered with Louis Sullivan's distinctive decorations.
Mario Elia, in his study of Sullivan and his work, suggests that the broad projecting roof was a detail contributed by Frank Lloyd Wright, who was employed at Sullivan's office at the time.
The building was topped by a tower.
On the night of February 28 – March 1, 1922, the Pueblo Grocers' Association's annual ball was held there, and it is believed that a cigarette may have ignited litter left behind after the event. The fire was discovered at 1:15 a.m., the roof collapsed at 1:50, and all the interior floors had given way by 2:10. Despite the fire department's efforts to save the building, it was a total loss.
# Pterolocera rubescens

Pterolocera rubescens is a moth of the Anthelidae family. It is found in Australia.
# Pterolocera isogama

Pterolocera isogama is a moth of the family Anthelidae. It was described by Alfred Jefferis Turner in 1931. It is found in Australia.
# Puerto Rico Highway 154

Puerto Rico Highway 154 (PR-154) is a rural road in the municipality of Coamo, Puerto Rico. It is between the PR-153 and PR-543 near Salinas and Santa Isabel.

## Major intersections

* PR-153 near its junction with PR-154 in Coamo
* PR-153 at its junction with PR-154 in Coamo
| Municipality | Location | km | mi | Destinations | Notes |
| Coamo | San Ildefonso | 0.0 | 0.0 | PR-153 – Coamo, Santa Isabel | Western terminus of PR-154 |
| Santa Isabel | No major junctions | No major junctions | No major junctions | No major junctions | No major junctions |
| Coamo | San Ildefonso | 3.6– 3.7 | 2.2– 2.3 | PR-576 – Coamo | |
| Coamo | San Ildefonso | 4.0 | 2.5 | PR-543 – Santa Isabel | Eastern terminus of PR-154 |
| 1.000 mi = 1.609 km; 1.000 km = 0.621 mi ||||||
# Ptosima gibbicollis

Ptosima gibbicollis, the redbud borer, is a species of metallic wood-boring beetle in the family Buprestidae. It is found in North America.
# Punta Alta de Comalesbienes

Punta Alta de Comalesbienes, also known as Punta Alta, is a mountain of Catalonia, Spain. Punta Alta has an elevation of 3.014 metres above sea level.
It is located close to the 2993 m high Pic de Comalesbienes, on the eastern side of the Estany de Cavallers glacial lake, near the Besiberri Massif, in the Vall de Boí, Pyrenees.
# Pusula

Pusula is a genus of small sea snails, marine gastropod mollusks in the family Triviidae, the false cowries or trivias.

## Species

Species within the genus Pusula include:
* † Pusula alienigena Schilder, 1928
* Pusula bessei Petuch, 2013
* Pusula cimex (Sowerby, 1870)
* Pusula costipunctata (Sowerby, 1870)
* † Pusula dadeensis Petuch, 1994
* † Pusula dalli (Petuch, 1994)
* † Pusula densistans Fehse & Grego, 2014
* Pusula elsiae (Howard & Sphon, 1960) (nomen dubium)
* Pusula garciai Fehse & Grego, 2014
* † Pusula guppyi Schilder, 1939
* Pusula hybrida (Schilder, 1931)
* Pusula labiosa (Gaskoin, 1836)
* Pusula lindajoyceae Petuch, 1994
* † Pusula miamiensis Petuch, 1991
* † Pusula orientalis Schilder, 1939
* Pusula pediculus (Linnaeus, 1758)
* † Pusula permagna (Johnson, 1910)
* † Pusula platyventer Fehse & Grego, 2014
* Pusula pullata (Sowerby, 1870)
* Pusula radians (Lamarck, 1810)
* Pusula solandri (Sowerby, 1832)
* † Pusula subpediculus (Sacco, 1894)

### Species brought into synonymy

* † Pusula andersoni Petuch & Drohlshagen, 2011: synonym of † Pusula lindajoyceae Petuch, 1994
* Pusula bermontiana (Petuch, 1994): synonym of Pusula pediculus (Linnaeus, 1758)
* Pusula californiana (Gray, 1827): synonym of Pseudopusula californiana (Gray, 1827)
* Pusula californica (Sowerby, 1832): synonym of Pseudopusula californiana (Gray, 1827)
* Pusula calusa Petuch & Drolshagen, 2011: synonym of † Pusula dalli (Petuch, 1994)
* Pusula campus Cate, 1979: synonym of Niveria campus (Cate, 1979)
* Pusula candidula (Gaskoin, 1835): synonym of Trivia candidula (Gaskoin, 1836)
* Pusula carabus Cate, 1979: synonym of Niveria carabus (Cate, 1979)
* Pusula cherobia Cate, 1979: synonym of Niveria cherobia (Cate, 1979)
* Pusula crovoae Olsson, 1967: synonym of † Pusula orientalis Schilder, 1939
* Pusula depauperata (Sowerby, 1832): synonym of Pseudopusula depauperata (Sowerby, 1832)
* Pusula janae Lorenz, 2001: synonym of Dolichupis janae (Lorenz, 2001)
* Pusula juyingae Petuch & Sargent, 2011: synonym of Pusula labiosa (Gaskoin, 1836)
* Pusula leucosphaera Schilder, 1931: synonym of Dolichupis leucosphaera (Schilder, 1931)
* Pusula loochooensis Cate, 1979: synonym of Pseudopusula californiana (Gray, 1827)
* Pusula macaeica Fehse & Grego, 2005: synonym of Niveria macaeica (Fehse & Grego, 2005)
* Pusula maltbiana (Schwengel & McGinty, 1942): synonym of Niveria maltbiana (Schwengel & McGinty, 1942)
* Pusula olssoni Petuch & Drolshagen, 2011 †: synonym of † Pusula orientalis Schilder, 1939
* Pusula pacei (Petuch, 1987): synonym of Pusula cimex (Sowerby, 1870)
* Pusula padreserrai Cate, 1979: synonym of Pusula solandri (Sowerby, 1832)
* Pusula pygmaea Schilder, 1931: synonym of Cleotrivia pygmaea (Schilder, 1931)
* Pusula rubinicolor (Gaskoin, 1836): synonym of Dolichupis rubinicolor (Gaskoin, 1836)
# Pyramidula

Pyramidula is a genus of moss in the family Funariaceae. It contains the single species Pyramidula tetragona distributed in central North America as well as Europe and Africa. Pyramid moss is a common name.
# Sick of Sarah

Sick of Sarah was a rock music band based in Minneapolis. Their "strong-voiced punky girl-rock" has drawn comparisons to bands such as Dollyrots and Tegan and Sara. Among their claims to fame, they are one of the most torrented bands of all time: the band was featured on the BitTorrent Artist Spotlight, and 1.7 million copies were downloaded. Because their album 2205 was automatically downloaded with BitTorrent software, it was dubbed the "spam album", but the band benefited greatly from the publicity.

## History

The band formed in 2005 with Abisha Uhl (lead vocals and guitar), Katie Murphy (vocals and lead guitar), Jessie Farmer (bass and vocals), and Brooke Svanes (drums). The inspiration for the band's name came from a former roommate of Uhl's named Sarah who had grown tired of her name, complaining that she was "sick of Sarah".
When Jamie Holm (deceased 2021) joined Sick of Sarah as a bassist in 2008, Farmer switched to playing guitar. Later that same year, the band was chosen as the "best emerging artist" at Summerfest. After Svanes left Sick of Sarah in 2010, Jessica Forsythe replaced her on drums. As of 2018 Sick Of Sarah has split up.

## Discography
### Albums

* ANTHEM (EP) – 2015
* Overexposure (EP) – 2011
* Wasting Time (EP) – 2011
* 2205 (BitTorrent Edition) – 2011
* 2205 – 2010
* The Best Thing (EP) – 2009
* Sick of Sarah – 2008
* Bittersweet (EP) – 2007
* Los Angeles 2006 (EP) – 2006

### Singles

* "Rooftops – 2015
* "Paint Like That – 2009
* Daisies – 2008
* Bittersweet – 2007
# Robert W. Cobb

Robert Watson Cobb is an American lawyer. He worked for the George W. Bush administration before becoming NASA Inspector General.

## Early life and education

Cobb attended Vanderbilt University, graduating in 1982 cum laude.
He graduated from George Washington University's National Law Center in 1986 cum laude.

## Career

Cobb worked for five years as an associate at the law firm of Ober, Kaler, Grimes & Shriver.
Cobb worked for almost nine years at the United States Office of Government Ethics before becoming Associate Counsel to the President in the George W. Bush administration. In this position he was responsible for the administration of the White House ethics program (the conflict of interest and financial disclosure clearance for candidates for nomination to Senate-confirmed positions) under the supervision of then-White House Counsel Alberto Gonzales.
President George W. Bush appointed Cobb to the position of NASA Inspector General on February 25, 2002. The nomination was sent to Senate February 26, 2002 and was confirmed on April 11, 2002.
Cobb served as an "observer" to the Columbia Accident Investigation Board, investigating the 2003 Space Shuttle Columbia disaster.
On April 2, 2009, Mr. Cobb offered his resignation to President Obama, effective April 11, 2009.
Mr. Cobb is currently counsel to the Ethics Committee for Montgomery County, Maryland.
# Joe Maddock (rugby union)

Joe Maddock (born 20 December 1978) is a retired rugby union winger/fullback who last played for Saracens F.C. in the Aviva Premiership. He was appointed as attack coach for Bath Rugby on 1 March 2022.
During his professional career he has represented the Super 14 side Canterbury Crusaders between 2002 and 2004, when the side won the Super 12 title after an unbeaten season. He also represented the New Zealand Maori on their tour of England in 2003.

## Biography

Maddock was born in Christchurch, New Zealand and represented Prebbleton Rugby Club in his younger years.

### Career

He made his professional debut for Canterbury Province in 2001, scoring two tries against Buller in a Ranfurly Shield match. In two years with Canterbury Maddock ran in 27 tries in 30 appearances. Maddock marked his Crusaders debut in 2002 with a try against Highlanders Rugby. He scored a further two tries in his freshman season for the Crusaders as they won the Super 12 title undefeated. Maddock failed to score in his second season with the Crusaders, and departed the side with 16 appearances and 3 tries. In 2003, Maddock was selected for the New Zealand Maori squad for their England tour in 2003. Regaining his scoring touch, he ran in 8 tries in 8 games for the Maori.
Maddock joined Bath Rugby from Canterbury in the summer of 2004. In his first season at the Recreation Ground he made 14 appearances (9 starts) and scored 2 tries. The 2005/06 season saw Maddock scoop the Ted Arnold Award for being the club's top try scorer, securing 5 touchdowns in 19 games in all competitions. He finished the 2006/07 season with 8 tries in 30 competitive games, making him the club's joint top scorer for the season. His performances gave him the 'Best Back' title at the end-of-season Awards Dinner.
In the 2007/08 season, Maddock proved his reliability once again, being on hand to run in 6 tries in 18 appearances, including 2 during Bath's road to victory in the European Challenge Cup.
2008/09 ended with Maddock as the leading try scorer in the Guinness premiership with 11 tries.
In May 2010, Maddock announced that he would be leaving Bath at the end of the 2009/10 season. He signed for Benetton Treviso in Italy.
In June 2011, Maddock signed for English club Saracens.
Maddock returned to New Zealand to coach Canterbury/Crusaders and served as Head Coach of Canterbury in the Mitre 10 domestic competition. He then took up a role as a member of the coaching team at Toshiba Brave Lupus in Japan.
On 1 March 2022, Bath Rugby announced Maddock's recruitment as an attack coach.
Maddock is also a basketball player and has represented Canterbury. In his spare time while at Bath Rugby he enjoyed playing basketball at the Bath Spa University along with teammates Jonny Fa'amatuainu and Eliota Fuimaono-Sapolu.
# Renault Vivasix

The Renault Vivasix was a full-size car manufactured by the French car company Renault between 1926 and 1930. In 1930 the Vivasix was replaced by the Vivastella.

## Details and evolutions

In 1927 Renault created two new models, one luxury and expensive called "Type RA" and a second, simpler model called "Type PG". The two models together were known as the Vivasix. The Vivasix model was one of the larger cars produced by Renault in that period.
The "Type RA" and the "Type PG" were replaced by a new luxury car called the Renault Vivastella between 1928 and 1929.
The top speed of the Vivasix was 130 km/h (81 mph).

## Types

* PG1 from 1926 to 1929
* PG3 only 1930

## International market

In 1931, Renault Motors reported that the latest models of the Renault Vivasix were selling well in Shanghai.
# Mingyi River

The Mingyi River (Chinese: 鸣矣河; pinyin: Míngyǐ Hé) is a tributary of the Tanglang River in Yunnan province, southwestern China. The river rises in southwestern Jinning County and the upper stream is called the Chemu River (Chinese: 车木河; pinyin: Chēmù Hé) . Another stream rises in the far south of Anning City. These two streams flow together near Bajie, and from there the Mingyi flows north through southern Anning City into Tanglang River. The total length of the Mingyi is 77 km.
# Hengen

Hengen is a surname. Notable people with the surname include:
* Jean Hengen (1912–2005), Luxembourgish Roman Catholic priest
* Shannon E. Hengen, Canadian literary critic and academic
* Thomas Hengen (born 1974), German footballer