{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"boolq","formal_name":"BoolQ","introduction":"BoolQ pairs naturally occurring yes/no questions from search queries with a passage that decides them. The format is simple, but the inference it needs is consistently heavier than it looks.","introduction_ja":"","introduction_en":"","category":"Category not supplied","task_count":null,"acquisition_status":"Acquisition status not supplied","official_url":"https://github.com/google-research-datasets/boolean-questions","indexing_mode":"index","profile":{"resources":[],"task_format":"","scoring":"","metric":"","size":"","answer_access":"","license":"","citation":"","maintainer":"","released":"","why_hard":"","related":[],"history":"","construction":"","limitations":"","saturation":"","scores":[]}},"task_id":"27f5a6c9-60dd-5c6a-839d-8e6efb7aec8f","task_key":"default--validation--27f5a6c9-60dd-5c6a-839d-8e6efb7aec8f","task_revision_id":"1","upstream_id":"","short_description":"has any pitcher thrown a no hitter and lost","config":"default","split":"validation","body":"{\"passage\":\"It is possible to reach base without a hit, most commonly by a walk, error, or being hit by a pitch. (Other possibilities include the batter reaching first after a dropped third strike.) A no-hitter in which no batters reach base at all is a perfect game, a much rarer feat. Because batters can reach base by means other than a hit, a pitcher can throw a no-hitter (though not a perfect game) and still give up runs, and even lose the game, although this is extremely uncommon and most no-hitters are also shutouts. One or more runs were given up in 25 recorded no-hitters in MLB history, most recently by Ervin Santana of the Los Angeles Angels of Anaheim in a 3--1 win against the Cleveland Indians on July 27, 2011. On two occasions, a team has thrown a nine-inning no-hitter and still lost the game. On a further four occasions, a team has thrown a no-hitter for eight innings in a losing effort, but those four games are not officially recognized as no-hitters by Major League Baseball because the outing lasted fewer than nine innings. It is theoretically possible for opposing pitchers to throw no-hitters in the same game, although this has never happened in the majors. Two pitchers, Fred Toney and Hippo Vaughn, completed nine innings of a game on May 2, 1917 without either giving up a hit or a run; Vaughn gave up two hits and a run in the 10th inning, losing the game to Toney, who completed the extra-inning no-hitter.\",\"question\":\"has any pitcher thrown a no hitter and lost\"}","display_format":"text","language":"","answer_status":"published","assets":[],"source_url":"https://github.com/google-research-datasets/boolean-questions","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}