Samantha912/NLP_A2_WTH huggingface dataset:
Melvin Fitting (born January 24, 1942) is a logician with special interests in philosophical logic and tableau proof systems. He was a professor at City University of New York, Lehman College and the Graduate Center. from 1968 to 2013. At the Graduate Center he was in the departments of Computer Science, Philosophy, and Mathematics, and at Lehman College he was in the department of Mathematics and Computer Science.  He is now Professor emeritus.

Fitting was born in Troy, New York. His undergraduate degree is from Rensselaer Polytechnic Institute, and his doctorate is from Yeshiva University, both in mathematics.  His thesis advisor was Raymond Smullyan.

In June 2012 Melvin Fitting was given the Herbrand Award by CADE, for distinguished contributions to automated deduction.

A loose motivation for much of Melvin Fitting's work can be formulated succinctly as follows.  There are many logics.  Our principles of reasoning vary with context and subject matter.  Multiplicity is one of the glories of modern formal logic.  The common thread tying logics together is a concern for what can be said (syntax), what that means (semantics), and relationships between the two.  A philosophical position that can be embodied in a formal logic has been shown to be coherent, not correct.  Logic is a tool, not a master, but it is an enjoyable tool to use.

Notes

References

External links 
 Melvin Fitting, official homepage 
 The Graduate Center, faculty page at CUNY  
 Mathematical Genealogy Project

1942 births
20th-century American philosophers
21st-century American philosophers
American logicians
City University of New York faculty
CUNY Graduate Center faculty
Lehman College faculty
Computability theorists
Rensselaer Polytechnic Institute alumni
Living people
People from Troy, New York
Proof theorists
Yeshiva University alumni
Mathematicians from New York (state)
All For You was the third and last single of Kate Ryan's third album Alive.

Formats and track listings
 CD Single
"All For You" - 3:10
"Je Donnerais Tout" - 3:10
"All For You" (Extended Version) - 5:24

Chart performance

References

2006 singles
Kate Ryan songs
Songs written by Kate Ryan
Songs written by Niklas Bergwall
Songs written by Niclas Kings
The 113th Pennsylvania House of Representatives District is located in Lackawanna County and includes the following areas:

 Clarks Green
 Scranton (PART)
 Ward 01
 Ward 02
 Ward 03
 Ward 04
 Ward 05
 Ward 06
 Ward 07
 Ward 13
 Ward 14
 Ward 15
 Ward 16
 Ward 19 [PART, Divisions 03 and 04]
 Ward 20
 Ward 21
 Ward 22
 Ward 23
 Ward 24
 South Abington Township

Representatives

References

Government of Lackawanna County, Pennsylvania
113
Clystea dorsilineata is a moth of the subfamily Arctiinae. It was described by George Hampson in 1898. It is found on Jamaica and Cuba.

References

Clystea
Moths described in 1898
Ivan Smith  is a British mathematician who deals with symplectic manifolds and their interaction with algebraic geometry, low-dimensional topology, and dynamics. He is a professor at the University of Cambridge.

Education and career

Smith was born in 1973 to Neil Smith, a professor of linguistics at University College London. Smith studied at the University of Oxford, where he received his doctorate in 1999 under the supervision of Simon Donaldson  with thesis Symplectic Geometry of Lefschetz Fibrations. Smith is now a professor in Cambridge at Gonville & Caius College.

Among other things, Smith derived nodal invariants from symplectic geometry.

He received in 2007 the Whitehead Prize for his work in symplectic topology (highlighting the breadth of applied techniques from algebraic geometry and topology) and in 2013 the Adams Prize. In 2018 he was an invited speaker at the International Congress of Mathematicians in Rio de Janeiro.

Smith was elected a Fellow of the Royal Society in 2023.

Selected publications
 
 
 with Denis Auroux:  Lefschetz pencils, branched covers and symplectic invariants . In: Symplectic 4-manifolds and algebraic surfaces (Cetraro, 2003), Lect. Notes in Math. 1938, Springer, 2008, 1–53, Arxiv
 with Mohammed Abouzaid: "Homological mirror symmetry for the 4-torus", Duke Math. J., Vol. 152, 2010, pp. 373–440, Arxiv
  Floer cohomology and pencils of quadrics , Inventiones Mathematicae, Vol. 189, 2012, pp. 149–250, Arxiv
 "A symplectic prolegomenon", Bulletin AMS, Vol. 52, 2015, pp. 415–464, 
  Quiver algebras as Fukaya categories , Geom. Topol., Vol. 19, 2015, 2557–2617, Arxiv
 with Mohammed Abouzaid:  Khovanov homology from Floer cohomology , Arxiv 2015
 with Mohammed Abouzaid:  The symplectic arc algebra is formal , Duke Math. J., Vol. 165, 2016, pp. 985–1060, Arxiv

References

External links
 Homepage in Cambridge
 
 
 

20th-century British mathematicians
21st-century British mathematicians
Alumni of the University of Oxford
Differential geometers
Fellows of Gonville and Caius College, Cambridge
Fellows of the Royal Society
Whitehead Prize winners
1973 births
Living people
Topologists
The Cottonwood River Pratt Truss Bridge is a historic bridge which carries Main Street across the Cottonwood River in Cedar Point, Kansas, USA. The single-span Pratt truss bridge was built in 1916 by the Missouri Valley Bridge and Iron Company. Locals proposed a bridge along a western extension of Main Street in 1914, but construction did not begin until late 1915 due to negotiations over its price; the county initially received no bids for the bridge after underestimating its cost, and it rejected every bid in the second round until the Missouri Valley Company dropped theirs to $8,750. The bridge is  long,  wide and is  above the river. The Pratt truss design, with vertical and center-facing diagonal beams, was commonly used at the time due to its stability. The Cottonwood River bridge is one of roughly 800 examples of the type in Kansas.

The bridge was added to the National Register of Historic Places on May 9, 2003.

References

National Register of Historic Places in Chase County, Kansas
Bridges on the National Register of Historic Places in Kansas
Buildings and structures completed in 1916
Pratt truss bridges in the United States
Burlington Athletic Stadium is a baseball stadium in  Burlington, North Carolina. It seats 3,500 and serves as the home field for the Burlington Sock Puppets of the Appalachian League. The Sock Puppets were previously known as the Burlington Royals (2007–2020) and Burlington Indians (1986–2006) when the Appalachian League was a rookie league affiliated with Minor League Baseball prior to Major League Baseball's 2020 reorganization of the minor leagues.

Originally built in Danville, Virginia and known as League Park, the stadium was purchased in 1958 for $5,000 after the Danville Leafs folded. After being dismantled in Danville, it was hauled to its present location and rebuilt. It reopened for play in 1960. At that point, the team left their previous home at Graham Athletic Park, which is now used by Graham Middle School.

The ballpark was known historically as Fairchild Stadium, after the adjacent Fairchild Park and nearby World War II Fairchild Aircraft manufacturing plant. It played host to many games in the original Carolina League, and appears in Ron Shelton's 1988 film, "Bull Durham." 

Burlington Athletic Stadium is also known to have played host to many Major League Baseball stars beginning their careers. Notable former Burlington Indians include CC Sabathia, Bartolo Colón, and Manny Ramírez. 2018 Baseball Hall of Fame inductee Jim Thome also began his career in Burlington. Historic greats who once made Fairchild Stadium their home field include another Red Sox legend, Luis Tiant, and longtime New York Yankees pitcher and coach Mel Stottlemyre. Former Burlington Royals who played at Burlington Athletic Stadium include Nicky Lopez, Salvador Pérez, and Wil Myers. 

The park was also the site of the longest continuous single-game broadcast in baseball history. The  27-inning marathon between the Burlington Indians and Bluefield Orioles lasted eight hours and fifteen minutes, and occurred over two days on June 24–25, 1988. Indians' announcer Richard Musterer called the entire game for WBBB-AM.

References

External links
 Burlington Athletic Stadium Views – Ball Parks of the Minor Leagues

Minor league baseball venues
Baseball venues in North Carolina
Sports venues in Alamance County, North Carolina
1958 establishments in North Carolina
Sports venues completed in 1958
Fjeldsted is a surname.  Notable people with the surname include:

 Christian D. Fjeldsted (1829–1905), Danish general authority of the Church of Jesus Christ of Latter-day Saints
 Katrín Fjeldsted (born 1946), Icelandic politician and medical doctor
 Thorkild Fjeldsted (1740–1796), Icelandic lawyer
El Sargento is a Mexican cypress tree in Mexico City's park Chapultepec, planted by Nezahualcoyotl . After living for approximately 500 years, the tree died in 1969, and its trunk stands today at around 50 feet tall.

References

External links

 

Chapultepec
Individual trees in Mexico
Samuel Calvin (February 2, 1840 – April 17, 1911) was Iowa's first systematic geologist, helping to make the first bedrock and landform maps of Iowa, as well as leading geological research throughout the state. He was born in Scotland, attended Lenox College (now defunct) in Hopkinton, Iowa, where he later taught. One of his collaborators was Thomas Huston Macbride, the notable Iowa naturalist. Calvin became a University of Iowa professor in 1873 and the Iowa State Geologist in 1892, and led the Iowa Geological Survey from 1892 until his death. Calvin documented the Devonian and Aftonian beds of Iowa, and was an expert on Pleistocene fauna. He was a founder of the American Geologist journal. Calvin Hall at the University of Iowa is named for him. His photographic collection of Iowa scenes is an important collection for historians and geologists. Calvin was president of the Geological Society of America in 1908.

References

External links
Calvin Photographic Collection
University of Iowa biography
 The Samuel Calvin Papers are housed at the University of Iowa Special Collections & University Archives.

Geology of Iowa
University of Iowa faculty
American geologists
1840 births
1911 deaths
Presidents of the Geological Society of America
Lenox College alumni
Delta/Greely School District is a school district in Delta Junction, Alaska. The superintendent is Shaun Streyle.
It operates the following schools:

Delta Elementary School
Delta High School
Fort Greely School
New Horizons High School	
Delta/Greely Homeschool
Gerstle River School

References

External links

Education in Unorganized Borough, Alaska
School districts in Alaska
Southeast Fairbanks Census Area, Alaska
William Henry (March 22, 1788 – April 16, 1861) was an American manufacturer and banker. He represented Vermont in the United States House of Representatives from 1847 to 1851.

Biography
Henry was born on March 22, 1788, in Charlestown, Sullivan County, New Hampshire. He attended the common schools and then engaged in business in Chester, Vermont. He married Fanny Goodhue. He engaged in manufacturing in Vermont, New York, and Jaffery, New Hampshire. When he moved to Bellows Falls, Vermont, in 1831, he engaged in banking as well.

He served as a member of the Vermont House of Representatives in 1834; a member of the Vermont Senate in 1836; a  delegate from Vermont in 1839 to the Whig National Convention at Harrisburg, Pennsylvania, serving as (member, Committee on Permanent Organization; member, Balloting Committee; member, Committee to Notify Nominees); and Presidential Elector for Vermont in 1840. He was also a director of the Rutland & Burlington Railroad Company.

Henry was elected US Representative as a Whig to the Thirtieth and Thirty-first Congresses and served from March 4, 1847, to March 3, 1851.  When he was an unsuccessful candidate for election in 1852 to the Thirty-third Congress, he resumed banking. He was Presidential Elector for Vermont in 1860.

Death
Henry died in Bellows Falls, Vermont, on April 16, 1861.

References

External links
Henry’s biographic note at US Congress website

The Political Graveyard
Govtrack US Congress

1788 births
1861 deaths
Whig Party members of the United States House of Representatives from Vermont
19th-century American politicians
A recruiting sergeant is a British or American soldier of the rank of sergeant who is tasked to enlist recruits. The term originated in the British army of the eighteenth and nineteenth centuries.

The playwright George Farquhar served as an infantry officer, and the characters in his play The Recruiting Officer (1706) are drawn from life.

The unscrupulous methods used by some to trick the innocent have been the subject of several traditional songs composed by their victims as a warning to others, popular examples being the Irish traditional song Arthur McBride and the Scots Twa Recruiting Sergeants.

A recruit would be given the King's shilling as a mark of the contract made.

The term has passed into the English language to mean any set of  circumstances which recruits or fails to recruit volunteers to the army. See Daily Telegraph headline
The CIA is al-Qaeda's best recruiting sergeant

See also
 Press gang - Officially sanctioned  gangs who once kidnapped people to serve in the military or navy, usually by force and without notice.

References
Drumming up business The Soldier's Trade in a Changing World By Professor Richard Holmes. bbc.co.uk - Accessed February 2007
Definition at Free Dictionary
Irish song lyrics
Newfoundland song lyrics

Military recruitment
Frank ("Frankie") Liles (born February 14, 1965) is an American former professional boxer who held the Lineal and WBA super-middleweight titles.

Amateur career 
Liles won a bronze medal at the 1987 Pan American Games.  Liles had a stellar amateur career, compiling an Amateur Record of 285-14.

Amateur Highlights 
1985 3rd place National Golden Gloves as a Welterweight
1986 National Golden Gloves Champion as a Welterweight
1986 US Olympic Festival Gold Medalist as a Welterweight - Decisioning Lenny Gargagliano Houston Texas
1987 Runner-up United States Amateur Championships as a Welterweight
1987 3rd place at Pan-American Games as a Light Middleweight
1987 United States Amateur Champion at Light Middleweight
1988 Runner-up for Olympic team berth at Light Middleweight, was decisioned twice by Roy Jones Jr. after defeating Jones twice in 1987 including a 3-0 decision in which Jones received 2 standing eight counts.

Professional boxing career
Known as "Fabulous", Liles had a very successful pro career that began in 1988. Liles lost to Tim Littles on points in 1992. In 1994 he beat Steve Little to capture the Lineal and WBA super middleweight titles. He successfully defended the title against seven different fighters over a five-year span, including over Michael Nunn, Segundo Mercado and Tim Littles. He tried many times to get a fight with his amateur nemesis Roy Jones Jr. unsuccessfully. He lost his title to Byron Mitchell in 1999 and retired in 2002.

Professional boxing record

Career as a trainer 
Liles worked as a trainer for the Japanese kickboxing organization called K-1 from 2003–2009.  He spent a great deal of time training athletes oversees, mostly in Japan.  Liles was the head trainer for several K-1 fighters including Musashi, Remy Bonjasky, & Bob Sapp.  Liles has also worked with many boxers including the likes of Manny Pacquiao, whose trainer Freddie Roach was Frankie's trainer for much of his career.

See also
List of world super-middleweight boxing champions

References

External links

"Fabulous" Frankie Liles - CBZ Profile

|-

1965 births
Living people
American male boxers
Boxers from New York (state)
Sportspeople from Syracuse, New York
African-American boxers
National Golden Gloves champions
Winners of the United States Championship for amateur boxers
Boxers at the 1987 Pan American Games
Pan American Games bronze medalists for the United States
Pan American Games medalists in boxing
Medalists at the 1987 Pan American Games
World super-middleweight boxing champions
World Boxing Association champions
Abdullino (; , Abdulla) is a rural locality (a village) and the administrative centre of Abdullinsky Selsoviet of Mechetlinsky District, Bashkortostan, Russia. The population was 510 as of 2010. There are 15 streets.

Geography 
Abdullino is located 30 km northwest of Bolsheustyikinskoye (the district's administrative centre) by road. Zhvakino is the nearest rural locality.

Ethnicity 
The village is inhabited by Tatars, Bashkirs and others.

References 

Rural localities in Mechetlinsky District
Marvin McIntyre may refer to:

Marvin H. McIntyre, U.S. Presidential Secretary 1937–1943
USS Marvin H. McIntyre (APA-129), a Haskell-class attack transport of the U.S. Navy
San Francesco is a Roman Catholic church located on Via Emilia in the town of Castelbolognese, in the region of Emilia Romagna, Italy.

History
A church at the site, along with Franciscan convent, was first built in 1422, and dedicated to St Lucy (Lucia of Syracuse). The present church was designed and built in 1702 by Francesco Fontana. It survived the earthquake of 1781, but the cupola fell with the earthquake of 1854. 

The monastery was suppressed by Napoleonic governments, and the convent became state property. In 1866, the church underwent restorations. The church suffered severe damage during the Second World War, destroying the bell-tower and the sacristy, and was only reopened to the public in 1965. 

The first chapel to the right is dedicated to Blessed Crucifix, and houses a 15th-century painted crucifix. At the end of the transept is the Chapel of the Immaculate Conception, with a monumental altarpiece containing a sculpture of the Madonna attributed to the school of Jacopo della Quercia. 

The main chapel still has its original altarpiece, but the altar is a modern, completed by Domenico Matteucci, with a painting by Ferraù Tenzoni. The left transept chapel is a treasury of hundreds of sacred relics. The last chapel in the church once dedicated to San Giuseppe da Copertino, but now dedicated to the Sacred Heart of Jesus, houses a painting depicting the Patron Saints of Castel Bolognese (1607) by the son of Giovanni Battista Bertucci. The church has a terracotta statue of the Virgin, venerated as the protector of the town.

The adjacent convent now houses the City Hall.

References

Churches in the province of Ravenna
18th-century Roman Catholic church buildings in Italy
Baroque architecture in Emilia-Romagna
Roman Catholic churches completed in 1702
The Oregon Society of Certified Public Accountants (OSCPA) founded in 1908, is a professional association based in the U.S. state of Oregon with nearly 5,000 members statewide, as well as in other states and countries.

The OSCPA is committed to the continuing professional success of its members. The OSCPA is a voluntary association of Certified Public Accountants (CPAs) engaged in public practice, industry, government, and education. In addition, prospective CPAs may hold membership as affiliate members.

Regular members of the Society are generally holders of the Certified Public Accountant certificate issued by the State of Oregon, or by other states provided certain eligibility requirements have been met. Affiliate membership in the society includes students, CPA candidates, inactive, and uncertified associate members.

The current chief executive of OSCPA is Sherri McPherson.

See also
American Institute of Certified Public Accountants

References

Non-profit organizations based in Oregon
Professional accounting bodies
Beaverton, Oregon
1908 establishments in Oregon
Des Morrison is a New Zealand politician who was an Auckland Councillor.

Early years
Morrison is of Ngapuhi descent and attended Pukekohe High School.

Political career

Morrison was a Franklin District Councillor between 2004 and 2010.

In the 2010 Auckland Council elections Morrison was elected as the member for the Franklin ward.

In 2012 he resigned from the renamed Communities & Residents, claiming that they were too urban-centric and he wanted to focus on rural issues before retiring in 2013.

References

Living people
Auckland Councillors
Māori politicians
People educated at Pukekohe High School
Year of birth missing (living people)
Somebody Else, Not Me is a 1980 album by American folk and blues singer Dave Van Ronk.

Somebody Else, Not Me continues Van Ronk's return to basic blues, folk and jazz accompanying himself on guitar. It was reissued (with a slight change of name) as Someone Else, Not Me on CD by Philo in 1999. It was originally to be released in late 1970s as the follow-up to Sunday Street.

Reception

Writing for Allmusic, critic William Ruhlman wrote of the album "If the result was not quite the equal of Sunday Street, it was in the same league and continued Van Ronk's mature renaissance."

Track listing 
"Michigan Water Blues" (Clarence Williams) – 3:05
"Somebody Else, Not Me" (Van Ronk, Bert Williams) – 4:04
"Old Hannah" (Traditional) – 5:41
"The Entertainer" (Scott Joplin) – 4:57
"Did You Hear John Hurt?" (Tom Paxton) – 3:12
"Old Blue" (Traditional; arranged by Dave Van Ronk) – 3:50
"Sportin' Life" (Brownie McGhee) – 3:42
"Casey Jones" (Furry Lewis) – 4:46
"Pastures of Plenty" (Woody Guthrie) – 4:27
"Song to Woody" (Bob Dylan) – 3:57

Personnel
Dave Van Ronk – vocals, guitar

Production notes
Produced by Mitch Greenhill & Charles Eller
Mastered by Matt Murman
Liner notes by Dave Van Ronk
Photography by David Gahr
Design by Francisco Gonzalez
Reissue liner notes by Elijah Wald

References

1980 albums
Dave Van Ronk albums
Wari Qalluni Pata (Aymara wari vicuña, qallu cattle with baby animals, -ni a suffix, pata step, 'a step with vicuñas and their babies', also  spelled Huari Kallunipata) is a  mountain in the Cordillera Real in the Andes of Bolivia. It is situated in the La Paz Department, Larecaja Province, Guanay Municipality, and in the Omasuyos Province, Achacachi Municipality, west of the mountain Ch'iyar Juqhu.

References 

Mountains of La Paz Department (Bolivia)
Maria Kirilenko was the defending champion but lost in the semifinals against Kimiko Date-Krumm.Kimiko Date-Krumm won in the final 6–3, 6–3 against Anabel Medina Garrigues.

Seeds

Draw

Finals

Top half

Bottom half

External links
Main draw
Qualifying draw

Korea Open (tennis)
Hansol Korea Open
The Explosives Act 1957 (), is a Malaysian laws which enacted relating to the manufacture, use, sale, storage, transport, import and export of explosives.

Structure
The Explosives Act 1957, in its current form (1 January 2006), consists of 3 Parts containing 28 sections and 1 schedule (including 5 amendments).
 Section 1: Short title
 Section 2: Interpretation
 Section 3: Extension of definition of explosive to other explosive substances
 Section 4: Power to prohibit the manufacture, possession or importation of specially dangerous explosives
 Section 5: Dangerous acts
 Section 6: Penalty for causing explosion likely to endanger life or property
 Section 7: Penalty for attempt to cause explosion, or for making or keeping explosive with intent to endanger life or property
 Section 8: Penalty for making or possessing explosives under suspicious circumstances
 Section 9: Search for explosives under warrant
 Section 10: Search warrant against persons
 Section 11: Entry and search by Magistrate, etc.
 Section 12: Power to stop and search for explosive in the street
 Section 13: Entry on place where explosive is used
 Section 14: Production of licence and accounting for explosives
 Section 15: Arrest without warrant
 Section 16: Abetment and attempt
 Section 17: Forfeiture of explosives
 Section 18: Seizure and sale of vessels
 Section 19: Rewards to informers
 Section 20: Liability of principal for offences committed by agent, etc.
 Section 21: Where licensee under disability
 Section 22: Presumptions
 Section 23: Notice of accidents
 Section 24: Enquiry into accidents
 Section 25: Minister may authorize magazines or hulks
 Section 26: Regulations
 Section 27: Non-application in respect of Government, etc.
 Section 28: Repeal and saving
 Schedule

References

External links
 Explosives Act 1957 

1957 in Malayan law
Malaysian federal legislation