budecosystem/superglue_ax_b huggingface dataset:
Premise: A formation of approximately 50 officers of the police of from outside Baltimore eventually placed themselves between the rioters and the militiamen, allowing the 6th Massachusetts to proceed to Camden Station.
Hypothesis: A formation of approximately 50 officers of the Baltimore Police eventually placed themselves between the rioters and the militiamen, allowing the 6th Massachusetts to proceed to Camden Station.
Label: not_entailment
Lexical semantics: Named entities
Knowledge: Common sense
Premise: The regiment returned to Baltimore on May 13, when Major General Benjamin F. Butler occupied the city with several Union regiments in anticipation of a Confederate attack on Baltimore which never developed.
Hypothesis: On May 13, Major General Benjamin F. Butler occupied the city with several Union regiments in anticipation of a Confederate attack on Baltimore which never developed.
Label: entailment
Logic: Conjunction
Premise: On May 13, Major General Benjamin F. Butler occupied the city with several Union regiments in anticipation of a Confederate attack on Baltimore which never developed.
Hypothesis: The regiment returned to Baltimore on May 13, when Major General Benjamin F. Butler occupied the city with several Union regiments in anticipation of a Confederate attack on Baltimore which never developed.
Label: not_entailment
Logic: Conjunction
Premise: The regiment returned to Baltimore on May 13, when Major General Benjamin F. Butler occupied the city with several Union regiments in anticipation of a Confederate attack on Baltimore which never developed.
Hypothesis: Long before May 13, Major General Benjamin F. Butler occupied the city with several Union regiments in anticipation of a Confederate attack on Baltimore which never developed.
Label: not_entailment
Logic: Temporal;Conjunction
Lexical semantics: Lexical entailment
Premise: Long before May 13, Major General Benjamin F. Butler occupied the city with several Union regiments in anticipation of a Confederate attack on Baltimore which never developed.
Hypothesis: The regiment returned to Baltimore on May 13, when Major General Benjamin F. Butler occupied the city with several Union regiments in anticipation of a Confederate attack on Baltimore which never developed.
Label: not_entailment
Logic: Temporal;Conjunction
Lexical semantics: Lexical entailment
Premise: Threatened by habitat loss and hunting, ruffed lemurs are facing extinction in the wild.
Hypothesis: Threatened by habitat loss and hunting, ruffed lemurs are extinct in the wild.
Label: not_entailment
Lexical semantics: Factivity
Premise: Threatened by habitat loss and hunting, ruffed lemurs are extinct in the wild.
Hypothesis: Threatened by habitat loss and hunting, ruffed lemurs are facing extinction in the wild.
Label: not_entailment
Lexical semantics: Factivity
Premise: White-headed lemurs, on the other hand, prefer the understory and lower canopy, below 15 m (49 ft), while the ruffed lemurs mainly keep to the upper canopy, above 15 m (49 ft).
Hypothesis: Ruffed lemurs prefer to live lower than white-headed lemurs.
Label: not_entailment
Logic: Intervals/Numbers
Knowledge: Common sense
Premise: Ruffed lemurs prefer to live lower than white-headed lemurs.
Hypothesis: White-headed lemurs, on the other hand, prefer the understory and lower canopy, below 15 m (49 ft), while the ruffed lemurs mainly keep to the upper canopy, above 15 m (49 ft).
Label: not_entailment
Logic: Intervals/Numbers
Knowledge: Common sense
Premise: White-headed lemurs, on the other hand, prefer the understory and lower canopy, below 15 m (49 ft), while the ruffed lemurs mainly keep to the upper canopy, above 15 m (49 ft).
Hypothesis: Ruffed lemurs prefer to live higher than white-headed lemurs.
Label: entailment
Logic: Intervals/Numbers
Knowledge: Common sense
Premise: Ruffed lemurs prefer to live higher than white-headed lemurs.
Hypothesis: White-headed lemurs, on the other hand, prefer the understory and lower canopy, below 15 m (49 ft), while the ruffed lemurs mainly keep to the upper canopy, above 15 m (49 ft).
Label: not_entailment
Logic: Intervals/Numbers
Knowledge: Common sense
Premise: They are diurnal; although peak activity occurs during the early morning and late afternoon or evening, resting usually occurs around midday.
Hypothesis: They are nocturnal; although peak activity occurs during the early morning and late afternoon or evening, resting usually occurs around midnight.
Label: not_entailment
Lexical semantics: Lexical entailment
Premise: They are nocturnal; although peak activity occurs during the early morning and late afternoon or evening, resting usually occurs around midnight.
Hypothesis: They are diurnal; although peak activity occurs during the early morning and late afternoon or evening, resting usually occurs around midday.
Label: not_entailment
Lexical semantics: Lexical entailment
Premise: The battlecruiser Seydlitz struck a mine while en route to the target, and had to withdraw.
Hypothesis: The battlecruiser Seydlitz struck a mine while en route to the target, and was damaged.
Label: entailment
Knowledge: Common sense
Premise: The battlecruiser Seydlitz struck a mine while en route to the target, and was damaged.
Hypothesis: The battlecruiser Seydlitz struck a mine while en route to the target, and had to withdraw.
Label: not_entailment
Knowledge: Common sense
Premise: The battlecruiser Seydlitz struck a mine while en route to the target, and had to withdraw.
Hypothesis: The battlecruiser Seydlitz struck a mine while en route to the target, and was destroyed.
Label: not_entailment
Knowledge: Common sense
Premise: The battlecruiser Seydlitz struck a mine while en route to the target, and was destroyed.
Hypothesis: The battlecruiser Seydlitz struck a mine while en route to the target, and had to withdraw.
Label: not_entailment
Knowledge: Common sense
Premise: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of the civil rights leader's assassin.
Hypothesis: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of Dr. Martin Luther King, Jr.'s assassin.
Label: entailment
Predicate-argument structure: Anaphora/Coreference
Knowledge: World knowledge
Premise: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of Dr. Martin Luther King, Jr.'s assassin.
Hypothesis: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of the civil rights leader's assassin.
Label: entailment
Predicate-argument structure: Anaphora/Coreference
Knowledge: World knowledge
Premise: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of the civil rights leader's assassin.
Hypothesis: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of Kennedy's assassin.
Label: not_entailment
Predicate-argument structure: Anaphora/Coreference
Knowledge: World knowledge
Premise: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of Kennedy's assassin.
Hypothesis: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of the civil rights leader's assassin.
Label: not_entailment
Predicate-argument structure: Anaphora/Coreference
Knowledge: World knowledge
Premise: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of the civil rights leader's assassin.
Hypothesis: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of Malcolm X's assassin.
Label: not_entailment
Knowledge: World knowledge
Premise: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of Malcolm X's assassin.
Hypothesis: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of the civil rights leader's assassin.
Label: not_entailment
Knowledge: World knowledge
Premise: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of the civil rights leader's assassin.
Hypothesis: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of his assassin.
Label: entailment
Predicate-argument structure: Restrictivity
Premise: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of his assassin.
Hypothesis: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of the civil rights leader's assassin.
Label: entailment
Predicate-argument structure: Restrictivity
Premise: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of the civil rights leader's assassin.
Hypothesis: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of the civil rights leader.
Label: not_entailment
Predicate-argument structure: Core args
Premise: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of the civil rights leader.
Hypothesis: By saying this, Kennedy was admonishing people not to riot in wake of King's death and in effect equating their actions to that of the civil rights leader's assassin.
Label: not_entailment
Predicate-argument structure: Core args
Premise: After quoting Abraham Lincoln, he portrayed the American public as a people increasingly succumbing to its violent tendencies that undermined its national ideals.
Hypothesis: After quoting Abraham Lincoln, he portrayed the American public as a people that undermined its national ideals.
Label: not_entailment
Predicate-argument structure: Relative clauses
Premise: After quoting Abraham Lincoln, he portrayed the American public as a people that undermined its national ideals.
Hypothesis: After quoting Abraham Lincoln, he portrayed the American public as a people increasingly succumbing to its violent tendencies that undermined its national ideals.
Label: not_entailment
Predicate-argument structure: Relative clauses
Premise: After quoting Abraham Lincoln, he portrayed the American public as a people increasingly succumbing to its violent tendencies that undermined its national ideals.
Hypothesis: After quoting Abraham Lincoln, he portrayed the American public's violent tendencies as undermining its national ideals.
Label: entailment
Predicate-argument structure: Relative clauses
Premise: After quoting Abraham Lincoln, he portrayed the American public's violent tendencies as undermining its national ideals.
Hypothesis: After quoting Abraham Lincoln, he portrayed the American public as a people increasingly succumbing to its violent tendencies that undermined its national ideals.
Label: not_entailment
Predicate-argument structure: Relative clauses
Premise: Hazelnuts have often been found on other Mesolithic sites, but rarely in such quantities or concentrated in one pit.
Hypothesis: Hazelnuts have often been found on other Mesolithic sites, but rarely in such quantities, and rarely concentrated in one pit.
Label: entailment
Logic: Disjunction;Conjunction
Predicate-argument structure: Coordination scope
Premise: Hazelnuts have often been found on other Mesolithic sites, but rarely in such quantities, and rarely concentrated in one pit.
Hypothesis: Hazelnuts have often been found on other Mesolithic sites, but rarely in such quantities or concentrated in one pit.
Label: entailment
Logic: Disjunction;Conjunction
Predicate-argument structure: Coordination scope
Premise: Hazelnuts have often been found on other Mesolithic sites, but rarely in such quantities or concentrated in one pit.
Hypothesis: Hazelnuts have often been found on other Mesolithic sites concentrated in one pit, but rarely in such quantities.
Label: not_entailment
Logic: Disjunction;Conjunction
Predicate-argument structure: Coordination scope
Premise: Hazelnuts have often been found on other Mesolithic sites concentrated in one pit, but rarely in such quantities.
Hypothesis: Hazelnuts have often been found on other Mesolithic sites, but rarely in such quantities or concentrated in one pit.
Label: not_entailment
Logic: Disjunction;Conjunction
Predicate-argument structure: Coordination scope
Premise: Hazelnuts have been found on other Mesolithic sites, but rarely in such quantities or concentrated in one pit.
Hypothesis: Hazelnuts have rarely been found on other Mesolithic sites.
Label: not_entailment
Predicate-argument structure: Core args
Premise: Hazelnuts have rarely been found on other Mesolithic sites.
Hypothesis: Hazelnuts have been found on other Mesolithic sites, but rarely in such quantities or concentrated in one pit.
Label: not_entailment
Predicate-argument structure: Core args
Premise: Ferrero SpA, the maker of Nutella and Ferrero Rocher, uses 25% of the global supply of hazelnuts.
Hypothesis: Makers of chocolate confectioneries use at least 25% of the global supply of hazelnuts.
Label: entailment
Knowledge: World knowledge
Premise: Makers of chocolate confectioneries use at least 25% of the global supply of hazelnuts.
Hypothesis: Ferrero SpA, the maker of Nutella and Ferrero Rocher, uses 25% of the global supply of hazelnuts.
Label: not_entailment
Knowledge: World knowledge
Premise: Ferrero SpA, the maker of Nutella and Ferrero Rocher, uses 25% of the global supply of hazelnuts.
Hypothesis: Makers of nuts use at least 25% of the global supply of hazelnuts.
Label: not_entailment
Knowledge: World knowledge
Premise: Makers of nuts use at least 25% of the global supply of hazelnuts.
Hypothesis: Ferrero SpA, the maker of Nutella and Ferrero Rocher, uses 25% of the global supply of hazelnuts.
Label: not_entailment
Knowledge: World knowledge
Premise: Ferrero SpA, the maker of Nutella and Ferrero Rocher, uses 25% of the global supply of hazelnuts.
Hypothesis: Ferrero SpA, the maker of Nutella and Ferrero Rocher, uses almost 25% of the global supply of hazelnuts.
Label: not_entailment
Lexical semantics: Factivity
Premise: Ferrero SpA, the maker of Nutella and Ferrero Rocher, uses almost 25% of the global supply of hazelnuts.
Hypothesis: Ferrero SpA, the maker of Nutella and Ferrero Rocher, uses 25% of the global supply of hazelnuts.
Label: not_entailment
Lexical semantics: Factivity
Premise: Dacquoise, a French dessert cake, often contains a layer of hazelnut meringue.
Hypothesis: Dacquoise, a French dessert cake, always contains a layer of hazelnut meringue.
Label: not_entailment
Lexical semantics: Lexical entailment;Quantifiers
Premise: Dacquoise, a French dessert cake, always contains a layer of hazelnut meringue.
Hypothesis: Dacquoise, a French dessert cake, often contains a layer of hazelnut meringue.
Label: entailment
Lexical semantics: Lexical entailment;Quantifiers
Premise: Middens with damp, anaerobic conditions can even preserve organic remains.
Hypothesis: Dry conditions and oxygen contribute to the degredation of organic remains in middens.
Label: entailment
Lexical semantics: Lexical entailment
Knowledge: Common sense
Premise: Dry conditions and oxygen contribute to the degredation of organic remains in middens.
Hypothesis: Middens with damp, anaerobic conditions can even preserve organic remains.
Label: entailment
Lexical semantics: Lexical entailment
Knowledge: Common sense
Premise: Middens with damp, anaerobic conditions can even preserve organic remains.
Hypothesis: Damp conditions and lack of oxygen contribute to the degredation of organic remains in middens.
Label: not_entailment
Lexical semantics: Lexical entailment
Knowledge: Common sense
Premise: Damp conditions and lack of oxygen contribute to the degredation of organic remains in middens.
Hypothesis: Middens with damp, anaerobic conditions can even preserve organic remains.
Label: not_entailment
Lexical semantics: Lexical entailment
Knowledge: Common sense
Premise: Mass analysis is based on analyzing debitage populations based on their size distribution across specified size grades.
Hypothesis: One form of debitage analysis is based on analyzing debitage populations based on their size distribution across specified size grades.
Label: entailment
Logic: Existential
Premise: One form of debitage analysis is based on analyzing debitage populations based on their size distribution across specified size grades.
Hypothesis: Mass analysis is based on analyzing debitage populations based on their size distribution across specified size grades.
Label: not_entailment
Logic: Existential
Premise: In some (e.g. Castanea), the scales are developed into sharp spines, giving the nut protection from squirrels and other seed predators, while in others (e.g. most Quercus), they are not.
Hypothesis: In some (e.g. Quercus), the scales are developed into sharp spines, giving the nut protection from squirrels and other seed predators, while in others (e.g. most Castanea), they are not.
Label: not_entailment
Logic: Negation
Predicate-argument structure: Ellipsis/Implicits
Premise: In some (e.g. Quercus), the scales are developed into sharp spines, giving the nut protection from squirrels and other seed predators, while in others (e.g. most Castanea), they are not.
Hypothesis: In some (e.g. Castanea), the scales are developed into sharp spines, giving the nut protection from squirrels and other seed predators, while in others (e.g. most Quercus), they are not.
Label: not_entailment
Logic: Negation
Predicate-argument structure: Ellipsis/Implicits
Premise: In some (e.g. Castanea), the scales are developed into sharp spines, giving the nut protection from squirrels and other seed predators, while in others (e.g. most Quercus), they are not.
Hypothesis: In Castanea, the scales are developed into sharp spines, giving the nut protection from squirrels and other seed predators, while in most Quercus, they are not.
Label: entailment
Logic: Existential
Predicate-argument structure: Anaphora/Coreference
Premise: In Castanea, the scales are developed into sharp spines, giving the nut protection from squirrels and other seed predators, while in most Quercus, they are not.
Hypothesis: In some (e.g. Castanea), the scales are developed into sharp spines, giving the nut protection from squirrels and other seed predators, while in others (e.g. most Quercus), they are not.
Label: not_entailment
Logic: Existential
Predicate-argument structure: Anaphora/Coreference
Premise: In some (e.g. Castanea), the scales are developed into sharp spines, giving the nut protection from squirrels and other seed predators, while in others (e.g. most Quercus), they are not.
Hypothesis: In some (e.g. Castanea), the scales are developed into sharp spines, giving the nut protection from squirrels and other seed predators, while in others (e.g. most Quercus), they are not developed into sharp spines.
Label: entailment
Predicate-argument structure: Ellipsis/Implicits
Premise: In some (e.g. Castanea), the scales are developed into sharp spines, giving the nut protection from squirrels and other seed predators, while in others (e.g. most Quercus), they are not developed into sharp spines.
Hypothesis: In some (e.g. Castanea), the scales are developed into sharp spines, giving the nut protection from squirrels and other seed predators, while in others (e.g. most Quercus), they are not.
Label: entailment
Predicate-argument structure: Ellipsis/Implicits
Premise: Prismatic blades begin to appear in high frequencies during the transition between the Middle and Upper Paleolithic.
Hypothesis: Prismatic blades appeared in high frequencies during the Upper Paleolithic.
Label: entailment
Logic: Temporal
Premise: Prismatic blades appeared in high frequencies during the Upper Paleolithic.
Hypothesis: Prismatic blades begin to appear in high frequencies during the transition between the Middle and Upper Paleolithic.
Label: not_entailment
Logic: Temporal
Premise: Prismatic blades begin to appear in high frequencies during the transition between the Middle and Upper Paleolithic.
Hypothesis: Prismatic blades appeared in high frequencies during the Middle Paleolithic.
Label: not_entailment
Logic: Temporal
Premise: Prismatic blades appeared in high frequencies during the Middle Paleolithic.
Hypothesis: Prismatic blades begin to appear in high frequencies during the transition between the Middle and Upper Paleolithic.
Label: not_entailment
Logic: Temporal
Premise: Prismatic blades begin to appear in high frequencies during the transition between the Middle and Upper Paleolithic.
Hypothesis: Prismatic appeared in high frequencies after the transition between the Middle and Upper Paleolithic.
Label: entailment
Logic: Temporal
Premise: Prismatic appeared in high frequencies after the transition between the Middle and Upper Paleolithic.
Hypothesis: Prismatic blades begin to appear in high frequencies during the transition between the Middle and Upper Paleolithic.
Label: not_entailment
Logic: Temporal
Premise: The track was originally titled "Seibu" and was almost left off the album before it was rediscovered later during the recording sessions.
Hypothesis: The track was originally titled "Seibu" and was left off the album before it was rediscovered later during the recording sessions.
Label: entailment
Lexical semantics: Factivity
Premise: The track was originally titled "Seibu" and was left off the album before it was rediscovered later during the recording sessions.
Hypothesis: The track was originally titled "Seibu" and was almost left off the album before it was rediscovered later during the recording sessions.
Label: entailment
Lexical semantics: Factivity
Premise: At the age of 24, she was betrothed to Prince Albert Victor, Duke of Clarence and Avondale, the eldest son of the Prince of Wales, but six weeks after the announcement of the engagement, he died unexpectedly of pneumonia.
Hypothesis: At the age of 24, she was betrothed to Prince Albert Victor, Duke of Clarence and Avondale, the eldest child of the Prince of Wales, but six weeks after the announcement of the engagement, he died unexpectedly of pneumonia.
Label: not_entailment
Logic: Non-monotone
Lexical semantics: Named entities
Knowledge: Common sense
Premise: At the age of 24, she was betrothed to Prince Albert Victor, Duke of Clarence and Avondale, the eldest child of the Prince of Wales, but six weeks after the announcement of the engagement, he died unexpectedly of pneumonia.
Hypothesis: At the age of 24, she was betrothed to Prince Albert Victor, Duke of Clarence and Avondale, the eldest son of the Prince of Wales, but six weeks after the announcement of the engagement, he died unexpectedly of pneumonia.
Label: entailment
Logic: Non-monotone
Lexical semantics: Named entities
Knowledge: Common sense
Premise: At the age of 24, she was betrothed to Prince Albert Victor, Duke of Clarence and Avondale, the eldest son of the Prince of Wales, but six weeks after the announcement of the engagement, he died unexpectedly of pneumonia.
Hypothesis: At the age of 24, she was betrothed to Prince Albert Victor, Duke of Clarence and Avondale, the eldest able-bodied son of the Prince of Wales, but six weeks after the announcement of the engagement, he died unexpectedly of pneumonia.
Label: not_entailment
Logic: Non-monotone
Premise: At the age of 24, she was betrothed to Prince Albert Victor, Duke of Clarence and Avondale, the eldest able-bodied son of the Prince of Wales, but six weeks after the announcement of the engagement, he died unexpectedly of pneumonia.
Hypothesis: At the age of 24, she was betrothed to Prince Albert Victor, Duke of Clarence and Avondale, the eldest son of the Prince of Wales, but six weeks after the announcement of the engagement, he died unexpectedly of pneumonia.
Label: not_entailment
Logic: Non-monotone
Premise: She was the eldest of four children, the only girl, and "learned to exercise her native discretion, firmness, and tact" by resolving her three younger brothers' petty boyhood squabbles.
Hypothesis: She was the eldest of four children, the only girl, and "learned to exercise her native discretion, firmness, and tact" by resolving her three brothers' petty boyhood squabbles.
Label: entailment
Predicate-argument structure: Restrictivity
Lexical semantics: Redundancy
Knowledge: Common sense
Premise: She was the eldest of four children, the only girl, and "learned to exercise her native discretion, firmness, and tact" by resolving her three brothers' petty boyhood squabbles.
Hypothesis: She was the eldest of four children, the only girl, and "learned to exercise her native discretion, firmness, and tact" by resolving her three younger brothers' petty boyhood squabbles.
Label: entailment
Predicate-argument structure: Restrictivity
Lexical semantics: Redundancy
Knowledge: Common sense
Premise: Albertosaurus and other tyrannosaurids were heterodont, with teeth of different forms depending on their position in the mouth.
Hypothesis: Albertosaurus and other tyrannosaurids were heterodont.
Label: entailment
Predicate-argument structure: Restrictivity
Knowledge: World knowledge
Premise: Albertosaurus and other tyrannosaurids were heterodont.
Hypothesis: Albertosaurus and other tyrannosaurids were heterodont, with teeth of different forms depending on their position in the mouth.
Label: entailment
Predicate-argument structure: Restrictivity
Knowledge: World knowledge
Premise: Albertosaurus and other tyrannosaurids were heterodont, with teeth of different forms depending on their position in the mouth.
Hypothesis: Albertosaurus and other tyrannosaurids were heterodont, with lots of teeth.
Label: not_entailment
Predicate-argument structure: Restrictivity
Knowledge: World knowledge
Premise: Albertosaurus and other tyrannosaurids were heterodont, with lots of teeth.
Hypothesis: Albertosaurus and other tyrannosaurids were heterodont, with teeth of different forms depending on their position in the mouth.
Label: entailment
Predicate-argument structure: Restrictivity
Knowledge: World knowledge
Premise: All of these are today seen as younger synonyms of other species or as nomina dubia, and are not assigned to Albertosaurus.
Hypothesis: All of these are today seen as nomina dubia, and are not assigned to Albertosaurus.
Label: not_entailment
Logic: Disjunction
Premise: All of these are today seen as nomina dubia, and are not assigned to Albertosaurus.
Hypothesis: All of these are today seen as younger synonyms of other species or as nomina dubia, and are not assigned to Albertosaurus.
Label: entailment
Logic: Disjunction
Premise: All of these are today seen as younger synonyms of other species or as nomina dubia, and are not assigned to Albertosaurus.
Hypothesis: All of these are today seen as younger synonyms of other species or as nomina dubia, and are distinguished from Albertosaurus.
Label: entailment
Logic: Double negation
Lexical semantics: Lexical entailment
Premise: All of these are today seen as younger synonyms of other species or as nomina dubia, and are distinguished from Albertosaurus.
Hypothesis: All of these are today seen as younger synonyms of other species or as nomina dubia, and are not assigned to Albertosaurus.
Label: entailment
Logic: Double negation
Lexical semantics: Lexical entailment
Premise: If Charles' left wing, commanded by Nauendorf, united with Hotze's force, approaching from the east, Masséna knew Charles would attack and very likely push him out of Zürich.
Hypothesis: Masséna knew that Charles' left wing, commanded by Nauendorf, uniting with Hotze's force, approaching from the east, would attack and very likely push him out of Zürich.
Label: entailment
Logic: Conditionals
Premise: Masséna knew that Charles' left wing, commanded by Nauendorf, uniting with Hotze's force, approaching from the east, would attack and very likely push him out of Zürich.
Hypothesis: If Charles' left wing, commanded by Nauendorf, united with Hotze's force, approaching from the east, Masséna knew Charles would attack and very likely push him out of Zürich.
Label: entailment
Logic: Conditionals
Premise: If Charles' left wing, commanded by Nauendorf, united with Hotze's force, approaching from the east, Masséna knew Charles would attack and very likely push him out of Zürich.
Hypothesis: If Charles' left wing, commanded by Nauendorf, united with Hotze's force, approaching from the east, Masséna doubted Charles would attack and push him out of Zürich.
Label: not_entailment
Logic: Conditionals
Premise: If Charles' left wing, commanded by Nauendorf, united with Hotze's force, approaching from the east, Masséna doubted Charles would attack and push him out of Zürich.
Hypothesis: If Charles' left wing, commanded by Nauendorf, united with Hotze's force, approaching from the east, Masséna knew Charles would attack and very likely push him out of Zürich.
Label: not_entailment
Logic: Conditionals
Premise: If Charles' left wing, commanded by Nauendorf, united with Hotze's force, approaching from the east, Masséna knew Charles would attack and very likely push him out of Zürich.
Hypothesis: If Charles' left wing, commanded by Nauendorf, united with Hotze's force, approaching from the east, Masséna would prepare for Charles to attack and very likely push him out of Zürich.
Label: not_entailment
Logic: Conditionals
Premise: If Charles' left wing, commanded by Nauendorf, united with Hotze's force, approaching from the east, Masséna would prepare for Charles to attack and very likely push him out of Zürich.
Hypothesis: If Charles' left wing, commanded by Nauendorf, united with Hotze's force, approaching from the east, Masséna knew Charles would attack and very likely push him out of Zürich.
Label: not_entailment
Logic: Conditionals
Premise: Ferdinand of Naples refused to pay agreed-upon tribute to France, and his subjects followed this refusal with a rebellion.
Hypothesis: Ferdinand of Naples refused to pay France the agreed-upon tribute, and his subjects followed this refusal with a rebellion.
Label: entailment
Predicate-argument structure: Datives
Premise: Ferdinand of Naples refused to pay France the agreed-upon tribute, and his subjects followed this refusal with a rebellion.
Hypothesis: Ferdinand of Naples refused to pay agreed-upon tribute to France, and his subjects followed this refusal with a rebellion.
Label: entailment
Predicate-argument structure: Datives
Premise: Furthermore, the French dangerously underestimated Austrian tenacity and military skill.
Hypothesis: Furthermore, the French dangerously underestimated Austrian military skill and tenacity.
Label: entailment
Predicate-argument structure: Coordination scope
Premise: Furthermore, the French dangerously underestimated Austrian military skill and tenacity.
Hypothesis: Furthermore, the French dangerously underestimated Austrian tenacity and military skill.
Label: entailment
Predicate-argument structure: Coordination scope
Premise: Furthermore, the French dangerously underestimated Austrian tenacity and military skill.
Hypothesis: Furthermore, the French dangerously underestimated Austrian military skill.
Label: entailment
Predicate-argument structure: Coordination scope
Premise: Furthermore, the French dangerously underestimated Austrian military skill.
Hypothesis: Furthermore, the French dangerously underestimated Austrian tenacity and military skill.
Label: not_entailment
Predicate-argument structure: Coordination scope
Premise: There are four supraocular scales (above the eyes) in almost all specimens and five supraciliary scales (immediately above the eyes, below the supraoculars).
Hypothesis: There are four supraocular scales (above the eyes) in most specimens and five supraciliary scales (immediately above the eyes, below the supraoculars).
Label: entailment
Lexical semantics: Quantifiers
Premise: There are four supraocular scales (above the eyes) in most specimens and five supraciliary scales (immediately above the eyes, below the supraoculars).
Hypothesis: There are four supraocular scales (above the eyes) in almost all specimens and five supraciliary scales (immediately above the eyes, below the supraoculars).
Label: not_entailment
Lexical semantics: Quantifiers
Premise: There are four supraocular scales (above the eyes) in almost all specimens and five supraciliary scales (immediately above the eyes, below the supraoculars).
Hypothesis: There are four scales above the eyes in almost all specimens and five supraciliary scales (immediately above the eyes, below the supraoculars).
Label: entailment
Logic: Non-monotone
Predicate-argument structure: Restrictivity
Lexical semantics: Redundancy
Premise: There are four scales above the eyes in almost all specimens and five supraciliary scales (immediately above the eyes, below the supraoculars).
Hypothesis: There are four supraocular scales (above the eyes) in almost all specimens and five supraciliary scales (immediately above the eyes, below the supraoculars).
Label: entailment
Logic: Non-monotone
Predicate-argument structure: Restrictivity
Lexical semantics: Redundancy
Premise: All 860 officers and men on board, including Spee, went down with the ship.
Hypothesis: Spee went down with the ship.
Label: entailment
Logic: Universal
Premise: Spee went down with the ship.
Hypothesis: All 860 officers and men on board, including Spee, went down with the ship.
Label: not_entailment
Logic: Universal
Premise: Regional governors could not rely on the king for help in times of crisis, and the ensuing food shortages and political disputes escalated into famines and small-scale civil wars.
Hypothesis: Regional governors could not rely on anyone for help in times of crisis, and the ensuing food shortages and political disputes escalated into famines and small-scale civil wars.
Label: not_entailment
Logic: Downward monotone;Existential;Negation
Lexical semantics: Lexical entailment
Premise: Regional governors could not rely on anyone for help in times of crisis, and the ensuing food shortages and political disputes escalated into famines and small-scale civil wars.
Hypothesis: Regional governors could not rely on the king for help in times of crisis, and the ensuing food shortages and political disputes escalated into famines and small-scale civil wars.
Label: entailment
Logic: Downward monotone;Existential;Negation
Lexical semantics: Lexical entailment
Premise: The pharaohs of the Middle Kingdom restored the country's stability and prosperity, thereby stimulating a resurgence of art, literature, and monumental building projects.
Hypothesis: The pharaohs of the Middle Kingdom of Egypt restored the country's stability and prosperity, thereby stimulating a resurgence of art, literature, and monumental building projects.
Label: entailment
Knowledge: World knowledge
Premise: The pharaohs of the Middle Kingdom of Egypt restored the country's stability and prosperity, thereby stimulating a resurgence of art, literature, and monumental building projects.
Hypothesis: The pharaohs of the Middle Kingdom restored the country's stability and prosperity, thereby stimulating a resurgence of art, literature, and monumental building projects.
Label: entailment
Knowledge: World knowledge
Premise: The pharaohs of the Middle Kingdom restored the country's stability and prosperity, thereby stimulating a resurgence of art, literature, and monumental building projects.
Hypothesis: The pharaohs of the Middle Kingdom of China restored the country's stability and prosperity, thereby stimulating a resurgence of art, literature, and monumental building projects.
Label: not_entailment
Knowledge: World knowledge
Premise: The pharaohs of the Middle Kingdom of China restored the country's stability and prosperity, thereby stimulating a resurgence of art, literature, and monumental building projects.
Hypothesis: The pharaohs of the Middle Kingdom restored the country's stability and prosperity, thereby stimulating a resurgence of art, literature, and monumental building projects.
Label: not_entailment
Knowledge: World knowledge
Premise: The pharaohs of the Middle Kingdom restored the country's stability and prosperity, thereby stimulating a resurgence of art, literature, and monumental building projects.
Hypothesis: The pharaohs of Egypt restored the country's stability and prosperity, thereby stimulating a resurgence of art, literature, and monumental building projects.
Label: entailment
Knowledge: World knowledge
Premise: The pharaohs of Egypt restored the country's stability and prosperity, thereby stimulating a resurgence of art, literature, and monumental building projects.
Hypothesis: The pharaohs of the Middle Kingdom restored the country's stability and prosperity, thereby stimulating a resurgence of art, literature, and monumental building projects.
Label: not_entailment
Knowledge: World knowledge
Premise: The 15th Tank Corps was a tank corps of the Soviet Union's Red Army.
Hypothesis: The 15th Tank Corps was a corps of the Soviet Union's Red Army.
Label: entailment
Logic: Upward monotone
Lexical semantics: Redundancy
Premise: The 15th Tank Corps was a corps of the Soviet Union's Red Army.
Hypothesis: The 15th Tank Corps was a tank corps of the Soviet Union's Red Army.
Label: entailment
Logic: Upward monotone
Lexical semantics: Redundancy
Premise: I can't believe it's not butter.
Hypothesis: It's not butter.
Label: not_entailment
Logic: Negation
Lexical semantics: Factivity
Premise: It's not butter.
Hypothesis: I can't believe it's not butter.
Label: not_entailment
Logic: Negation
Lexical semantics: Factivity
Premise: I can't believe it's not butter.
Hypothesis: It's butter.
Label: not_entailment
Logic: Negation
Lexical semantics: Factivity
Premise: It's butter.
Hypothesis: I can't believe it's not butter.
Label: not_entailment
Logic: Negation
Lexical semantics: Factivity
Premise: However, these regularities are sometimes obscured by semantic and syntactic differences.
Hypothesis: However, these regularities are always obscured by semantic and syntactic differences.
Label: not_entailment
Lexical semantics: Quantifiers
Premise: However, these regularities are always obscured by semantic and syntactic differences.
Hypothesis: However, these regularities are sometimes obscured by semantic and syntactic differences.
Label: not_entailment
Lexical semantics: Quantifiers
Premise: However, these regularities are sometimes obscured by semantic and syntactic differences.
Hypothesis: However, these regularities are sometimes obscured by syntactic differences.
Label: entailment
Logic: Conjunction
Lexical semantics: Quantifiers
Premise: However, these regularities are sometimes obscured by syntactic differences.
Hypothesis: However, these regularities are sometimes obscured by semantic and syntactic differences.
Label: not_entailment
Logic: Conjunction
Lexical semantics: Quantifiers
Premise: In grounded communication tasks, speakers face pressures in choosing referential expressions that distinguish their targets from others in the context, leading to many kinds of pragmatic meaning enrichment.
Hypothesis: In grounded communication tasks, speakers face pressures in choosing referential expressions that distinguish their targets from others in the context, leading to many kinds of meaning enrichment.
Label: entailment
Logic: Upward monotone
Predicate-argument structure: Intersectivity
Lexical semantics: Redundancy
Knowledge: World knowledge
Premise: In grounded communication tasks, speakers face pressures in choosing referential expressions that distinguish their targets from others in the context, leading to many kinds of meaning enrichment.
Hypothesis: In grounded communication tasks, speakers face pressures in choosing referential expressions that distinguish their targets from others in the context, leading to many kinds of pragmatic meaning enrichment.
Label: entailment
Logic: Upward monotone
Predicate-argument structure: Intersectivity
Lexical semantics: Redundancy
Knowledge: World knowledge
Premise: Thus, a model of the speaker must process representations of the colors in the context and produce an utterance to distinguish the target color from the others.
Hypothesis: Thus, a model of the speaker must process representations of the colors in the context and produce an utterance to distinguish the target color from the other colors.
Label: entailment
Predicate-argument structure: Ellipsis/Implicits
Premise: Thus, a model of the speaker must process representations of the colors in the context and produce an utterance to distinguish the target color from the other colors.
Hypothesis: Thus, a model of the speaker must process representations of the colors in the context and produce an utterance to distinguish the target color from the others.
Label: entailment
Predicate-argument structure: Ellipsis/Implicits
Premise: Thus, a model of the speaker must process representations of the colors in the context and produce an utterance to distinguish the target color from the others.
Hypothesis: Thus, a model of the speaker must process representations of the colors in the context and produce an utterance to distinguish the target color from the other utterances.
Label: not_entailment
Predicate-argument structure: Ellipsis/Implicits
Premise: Thus, a model of the speaker must process representations of the colors in the context and produce an utterance to distinguish the target color from the other utterances.
Hypothesis: Thus, a model of the speaker must process representations of the colors in the context and produce an utterance to distinguish the target color from the others.
Label: not_entailment
Predicate-argument structure: Ellipsis/Implicits
Premise: While most successful approaches for reading comprehension rely on recurrent neural networks (RNNs), running them over long documents is prohibitively slow because it is difficult to parallelize over sequences.
Hypothesis: While most approaches for reading comprehension rely on recurrent neural networks (RNNs), running them over long documents is prohibitively slow because it is difficult to parallelize over sequences.
Label: not_entailment
Logic: Non-monotone
Predicate-argument structure: Restrictivity
Premise: While most approaches for reading comprehension rely on recurrent neural networks (RNNs), running them over long documents is prohibitively slow because it is difficult to parallelize over sequences.
Hypothesis: While most successful approaches for reading comprehension rely on recurrent neural networks (RNNs), running them over long documents is prohibitively slow because it is difficult to parallelize over sequences.
Label: not_entailment
Logic: Non-monotone
Predicate-argument structure: Restrictivity
Premise: Due to the structure and short length of most Wikipedia documents (median number of sentences: 9), the answer can usually be inferred from the first few sentences.
Hypothesis: Due to the structure and short length of most Wikipedia documents (median number of sentences: 9), the answer can always be inferred from the first few sentences.
Label: not_entailment
Lexical semantics: Quantifiers
Premise: Due to the structure and short length of most Wikipedia documents (median number of sentences: 9), the answer can always be inferred from the first few sentences.
Hypothesis: Due to the structure and short length of most Wikipedia documents (median number of sentences: 9), the answer can usually be inferred from the first few sentences.
Label: entailment
Lexical semantics: Quantifiers
Premise: Each captures only a single aspect of coherence, and all focus on scoring existing sentences, rather than on generating coherent discourse for tasks like abstractive summarization.
Hypothesis: Each captures only a single aspect of coherence and focuses on scoring existing sentences, rather than on generating coherent discourse for tasks like abstractive summarization.
Label: entailment
Logic: Universal;Conjunction
Premise: Each captures only a single aspect of coherence and focuses on scoring existing sentences, rather than on generating coherent discourse for tasks like abstractive summarization.
Hypothesis: Each captures only a single aspect of coherence, and all focus on scoring existing sentences, rather than on generating coherent discourse for tasks like abstractive summarization.
Label: entailment
Logic: Universal;Conjunction
Premise: In a coherent context, a machine should be able to guess the next utterance given the preceding ones.
Hypothesis: In a coherent context, a machine can guess the next utterance given the preceding ones.
Label: not_entailment
Lexical semantics: Factivity
Premise: In a coherent context, a machine can guess the next utterance given the preceding ones.
Hypothesis: In a coherent context, a machine should be able to guess the next utterance given the preceding ones.
Label: not_entailment
Lexical semantics: Factivity
Premise: We thus propose eliminating the influence of the language model, which yields the following coherence score.
Hypothesis: The language model yields the following coherence score.
Label: not_entailment
Predicate-argument structure: Relative clauses
Premise: The language model yields the following coherence score.
Hypothesis: We thus propose eliminating the influence of the language model, which yields the following coherence score.
Label: not_entailment
Predicate-argument structure: Relative clauses
Premise: We thus propose eliminating the influence of the language model, which yields the following coherence score.
Hypothesis: Eliminating the influence of the language model yields the following coherence score.
Label: entailment
Predicate-argument structure: Relative clauses
Premise: Eliminating the influence of the language model yields the following coherence score.
Hypothesis: We thus propose eliminating the influence of the language model, which yields the following coherence score.
Label: not_entailment
Predicate-argument structure: Relative clauses
Premise: The topic for the current sentence is drawn based on the topic of the preceding sentence (or word) rather than on the global document-level topic distribution in vanilla LDA.
Hypothesis: The topic for the current sentence is drawn based on the global document-level topic distribution in vanilla LDA.
Label: not_entailment
Lexical semantics: Factivity
Premise: The topic for the current sentence is drawn based on the global document-level topic distribution in vanilla LDA.
Hypothesis: The topic for the current sentence is drawn based on the topic of the preceding sentence (or word) rather than on the global document-level topic distribution in vanilla LDA.
Label: not_entailment
Lexical semantics: Factivity
Premise: The topic for the current sentence is drawn based on the topic of the preceding sentence (or word) rather than on the global document-level topic distribution in vanilla LDA.
Hypothesis: The topic for the current sentence is drawn based on the topic of the preceding sentence (or word).
Label: entailment
Lexical semantics: Factivity
Premise: The topic for the current sentence is drawn based on the topic of the preceding sentence (or word).
Hypothesis: The topic for the current sentence is drawn based on the topic of the preceding sentence (or word) rather than on the global document-level topic distribution in vanilla LDA.
Label: entailment
Lexical semantics: Factivity
Premise: We publicly share our dataset and code for future research.
Hypothesis: We publicly share our dataset for future research.
Label: entailment
Predicate-argument structure: Coordination scope;Prepositional phrases
Premise: We publicly share our dataset for future research.
Hypothesis: We publicly share our dataset and code for future research.
Label: not_entailment
Predicate-argument structure: Coordination scope;Prepositional phrases
Premise: We publicly share our dataset and code for future research.
Hypothesis: We code for future research.
Label: not_entailment
Predicate-argument structure: Coordination scope;Prepositional phrases
Premise: We code for future research.
Hypothesis: We publicly share our dataset and code for future research.
Label: not_entailment
Predicate-argument structure: Coordination scope;Prepositional phrases