DSAVlab-UNIUD/FOLIO_validation-curated huggingface dataset:
Predicates:
ManagedBuilding: pos_meaning: {0} is a managed building
neg_meaning: {0} is not a managed building
AllowPet: pos_meaning: {0} allows pets
neg_meaning: {0} does not allow pets
RentApartmentIn: pos_meaning: {0} rents an apartment in {1}
neg_meaning: {0} does not rent an apartment in {1}
DepositRequired: pos_meaning: a deposit is required for {0}
neg_meaning: a deposit is not required for {0}
SecurityDeposit: pos_meaning: {0} is a security deposit at {1}
neg_meaning: {0} is not a security deposit at {1}
MonthlyRentAt: pos_meaning: {0} is the monthly rent at {1}
neg_meaning: {0} is not the monthly rent at {1}
MoreThan: pos_meaning: {0} is more than {1}
neg_meaning: {0} is not more than {1}
Equal: pos_meaning: {0} is equal to {1}
neg_meaning: {0} is not equal to {1}
Cat: pos_meaning: {0} is a cat
neg_meaning: {0} is not a cat
BelongTo: pos_meaning: {0} belongs to {1}
neg_meaning: {0} does not belong to {1}
Pet: pos_meaning: {0} is a pet
neg_meaning: {0} is not a pet
AllowedToMoveInWith: pos_meaning: {0} is allowed to move into {1} with {2}
neg_meaning: {0} is not allowed to move into {1} with {2}

Constants:
fluffy: Fluffy
tom: Tom
oliveGarden: The Olive Garden
uSD2000: $2000
uSD1500: $1500
Predicates:
BusinessOrganization: pos_meaning: {0} is a business organization
neg_meaning: {0} is not a business organization
LegalEntity: pos_meaning: {0} is a legal entity
neg_meaning: {0} is not a legal entity
Company: pos_meaning: {0} is a company
neg_meaning: {0} is not a company
PrivateCompany: pos_meaning: {0} is a private company
neg_meaning: {0} is not a private company
CreatedUnderLaw: pos_meaning: {0} is created under law
neg_meaning: {0} is not created under law
LegalObligation: pos_meaning: {0} has legal obligations
neg_meaning: {0} does not have legal obligations

Constants:
harvardWeeklyBookClub: the Harvard Weekly Book Club
Predicates:
Animal: pos_meaning: {0} is an animal
neg_meaning: {0} is not an animal
Invertebrate: pos_meaning: {0} is an invertebrate
neg_meaning: {0} is not an invertebrate
Vertebrate: pos_meaning: {0} is a vertebrate
neg_meaning: {0} is not a vertebrate
HasBackbone: pos_meaning: {0} has a backbone
neg_meaning: {0} does not have a backbone
ReproduceBy: pos_meaning: {0} reproduces by {1}
neg_meaning: {0} does not reproduce by {1}
Bee: pos_meaning: {0} is a bee
neg_meaning: {0} is not a bee
QueenBee: pos_meaning: {0} is a queen bee
neg_meaning: {0} is not a queen bee

Constants:
maleAndFemaleMating: male-and-female mating
harry: Harry
Predicates:
BornIn: pos_meaning: {0} is born in {1}
neg_meaning: {0} is not born in {1}
SpendTimePlayingWith: pos_meaning: {0} spends a lot of time hanging out and playing with {1}
neg_meaning: {0} does not spend a lot of time hanging out and playing with {1}
Sibling: pos_meaning: {0} has sibling {1}
neg_meaning: {0} does not have sibling {1}
BornTogether: pos_meaning: {0} was born together with {1}
neg_meaning: {0} was not born together with {1}
ComplainAboutOften: pos_meaning: {0} complains often about {1}
neg_meaning: {0} does not complain often about {1}
LiveAt: pos_meaning: {0} lives at {1}
neg_meaning: {0} does not live at {1}
LiveWith: pos_meaning: {0} lives with {1}
neg_meaning: {0} does not live with {1}

Constants:
multipleBirth: a multiple birth
siblings: siblings
home: home
strangers: strangers
annoyingSiblings: annoying siblings
luke: Luke
Predicates:
Cost: pos_meaning: it costs {1} to take {0}
neg_meaning: it does not cost {1} to take {0}
Cheaper: pos_meaning: {0} is cheaper than {1}
neg_meaning: {0} is not cheaper than {1}
ApplicantOf: pos_meaning: {0} is an applicant of {1}
neg_meaning: {0} is not an applicant of {1}
Prove: pos_meaning: {0} proves {1}
neg_meaning: {0} does not prove {1}
ProvideTo: pos_meaning: {0} provides {1} to {2}
neg_meaning: {0} does not provide {1} to {2}
LivingIn: pos_meaning: {0} lives in {1}
neg_meaning: {0} does not live in {1}
AvailableTo: pos_meaning: {0} are available to {1}
neg_meaning: {0} are not available to {1}
OutOfWork: pos_meaning: {0} is out of work
neg_meaning: {0} is not out of work

Constants:
gre: the GRE test
uSD205: $205
uSD300: $300
ets: ETS
financialAid: financial aid
economicHardship: economic hardship
singleParentFamily: a single-parent family
fewResources: few resources
tom: Tom
tomsDad: Tom's dad
Predicates:
SpillOn: pos_meaning: {0} spills {1} on {2}
neg_meaning: {0} does not spill {1} on {2}
NotablyTidy: pos_meaning: {0} is notably tidy
neg_meaning: {0} is not notably tidy
ClumsyFoodie: pos_meaning: {0} is a clumsy foodie
neg_meaning: {0} is not a clumsy foodie
GoOutFrequentlyToFindToTry: pos_meaning: {0} goes out frequently to find and try {1}
neg_meaning: {0} does not go out frequently to find and try {1}
Cleanly: pos_meaning: {0} is cleanly
neg_meaning: {0} is not cleanly
Value: pos_meaning: {0} values {1}
neg_meaning: {0} does not value {1}
FamilyOf: pos_meaning: {0} is a family member of {1}
neg_meaning: {0} is not a family member of {1}
Prioritize: pos_meaning: {0} prioritizes {1}
neg_meaning: {0} does not prioritize {1}

Constants:
aLotOfFood: a lot of food
clothing: clothing
newFoodRestaurant: new food restaurants
order: order
spotlessness: spotlessness
peter: Peter
Predicates:
FirTree: pos_meaning: {0} is a fir tree
neg_meaning: {0} is not a fir tree
Evergreen: pos_meaning: {0} is an evergreen
neg_meaning: {0} is not an evergreen
ObjectOfWorship: pos_meaning: {0} is an object of worship
neg_meaning: {0} is not an object of worship

Constants:
Predicates:
MountainRange: pos_meaning: {0} is a mountain range
neg_meaning: {0} is not a mountain range
In: pos_meaning: {0} is in {1}
neg_meaning: {0} is not in {1}
Visited: pos_meaning: {0} visited {1}
neg_meaning: {0} did not visit {1}
Mine: pos_meaning: {0} is a mine
neg_meaning: {0} is not a mine
Donated: pos_meaning: {0} was donated
neg_meaning: {0} was not donated

Constants:
thePicurisMountains: the Picuris Mountains
newMexico: New Mexico
texas: Texas
juanDeOnate: Juan de Onate
hardingPegmatiteMine: the Harding Pegmatite Mine
Predicates:
Man: pos_meaning: {0} is a man
neg_meaning: {0} is not a man
Taller: pos_meaning: {0} is taller than {1}
neg_meaning: {0} is not taller than {1}
CanBlock: pos_meaning: {0} can block {1}'s shooting
neg_meaning: {0} cannot block {1}'s shooting
SameClass: pos_meaning: {0} is in the same class as {1}
neg_meaning: {0} is not in the same class as {1}
JumpWhenShooting: pos_meaning: {0} jumps when shooting
neg_meaning: {0} does not jump when shooting
GreatShooter: pos_meaning: {0} is a great shooter
neg_meaning: {0} is not a great shooter

Constants:
michael: Michael
peter: Peter
windy: Windy
Predicates:
Cove: pos_meaning: {0} is a cove
neg_meaning: {0} is not a cove
NamedAfter: pos_meaning: {0} is named after {1}
neg_meaning: {0} is not named after {1}
LocatedIn: pos_meaning: {0} is located in {1}
neg_meaning: {0} is not located in {1}

Constants:
barutinCove: Barutin Cove
barutinSettlement: the Bulgarian settlement of Barutin
bulgaria: Bulgaria
snowIsland: Snow Island
greenwichIsland: Greenwich Island
deceptionIsland: Deception Island
southShetlandIslands: the South Shetland Islands
antarctica: Antarctica
Predicates:
Affection: pos_meaning: {0} is a form of affection
neg_meaning: {0} is not a form of affection
Love: pos_meaning: {0} is a form of love
neg_meaning: {0} is not a form of love
Positive: pos_meaning: {0} is positive
neg_meaning: {0} is not positive

Constants:
Predicates:
Passenger: pos_meaning: {0} is a passenger
neg_meaning: {0} is not a passenger
Transport: pos_meaning: {0} transports {1}
neg_meaning: {0} does not transport {1}
OneSeater: pos_meaning: {0} is a one-seater
neg_meaning: {0} is not a one-seater
TeslaModel3: pos_meaning: {0} is a Tesla Model 3
neg_meaning: {0} is not a Tesla Model 3
SingleSeat: pos_meaning: {0} is single-seat
neg_meaning: {0} is not single-seat
ElectricCar: pos_meaning: {0} is an electric car
neg_meaning: {0} is not an electric car
SoloEV: pos_meaning: {0} is a Solo EV
neg_meaning: {0} is not a Solo EV
Car: pos_meaning: {0} is a car
neg_meaning: {0} is not a car

Constants:
johnsCar: John's car
Predicates:
PetersPet: pos_meaning: {0} is Peter's pet
neg_meaning: {0} is not Peter's pet
Mammal: pos_meaning: {0} is a mammal
neg_meaning: {0} is not a mammal
Animal: pos_meaning: {0} is an animal
neg_meaning: {0} is not an animal
Monkey: pos_meaning: {0} is a monkey
neg_meaning: {0} is not a monkey
Bird: pos_meaning: {0} is a bird
neg_meaning: {0} is not a bird
CanFly: pos_meaning: {0} can fly
neg_meaning: {0} cannot fly
Breathe: pos_meaning: {0} can breathe
neg_meaning: {0} cannot breathe
Wing: pos_meaning: {0} is a wing
neg_meaning: {0} is not a wing
Have: pos_meaning: {0} has {1}
neg_meaning: {0} does not have {1}

Constants:
rock: Rock
Predicates:
Make: pos_meaning: {0} makes {1}
neg_meaning: {0} does not make {1}
Engaged: pos_meaning: {0} is engaged
neg_meaning: {0} is not engaged
InviteToComeTo: pos_meaning: {0} invites {1} to come to {2}
neg_meaning: {0} does not invite {1} to come to {2}
Have: pos_meaning: {0} has {1}
neg_meaning: {0} does not have {1}

Constants:
weddingPlan: wedding plans
wedding: the wedding ceremony
wellAttendedWedding: a well-attended wedding
largerFamily: a larger family
john: John
Predicates:
Mammal: pos_meaning: {0} is a mammal
neg_meaning: {0} is not a mammal
Have: pos_meaning: {0} has {1}
neg_meaning: {0} does not have {1}
Reptile: pos_meaning: {0} is a reptile
neg_meaning: {0} is not a reptile
note: Appears only in conclusion 133; never introduced or grounded in the premises

Constants:
platypus: platypus
humans: humans
teeth: teeth
Predicates:
Plunger: pos_meaning: {0} is a plunger
neg_meaning: {0} is not a plunger
Suck: pos_meaning: {0} sucks
neg_meaning: {0} does not suck
Vacuum: pos_meaning: {0} is a vacuum
neg_meaning: {0} is not a vacuum
Vampire: pos_meaning: {0} is a vampire
neg_meaning: {0} is not a vampire
HouseholdAppliance: pos_meaning: {0} is a household appliance
neg_meaning: {0} is not a household appliance

Constants:
space: Space
duster: a duster
Predicates:
MachineLearningAlgorithm: pos_meaning: {0} is a machine learning algorithm
neg_meaning: {0} is not a machine learning algorithm
SupervisedLearningAlgorithm: pos_meaning: {0} is a supervised learning algorithm
neg_meaning: {0} is not a supervised learning algorithm
UnsupervisedLearningAlgorithm: pos_meaning: {0} is an unsupervised learning algorithm
neg_meaning: {0} is not an unsupervised learning algorithm
ReinforcementLearningAlgorithm: pos_meaning: {0} is a reinforcement learning algorithm
neg_meaning: {0} is not a reinforcement learning algorithm
Require: pos_meaning: {0} requires {1}
neg_meaning: {0} does not require {1}
TrainedWith: pos_meaning: {0} is trained with {1}
neg_meaning: {0} is not trained with {1}

Constants:
stateOfTheArtTextSummarizationModel: the state-of-the-art text summarization model
labeledData: labeled data
Predicates:
Film: pos_meaning: {0} is a film
neg_meaning: {0} is not a film
AppropriateFor: pos_meaning: {0} is appropriate for {1}
neg_meaning: {0} is not appropriate for {1}
CanWatchWithout: pos_meaning: {0} can watch {1} without {2}
neg_meaning: {0} cannot watch {1} without {2}
Contain: pos_meaning: {0} contains {1}
neg_meaning: {0} does not contain {1}
Rated: pos_meaning: {0} is rated {1}
neg_meaning: {0} is not rated {1}
FamilyFriendly: pos_meaning: {0} is family-friendly
neg_meaning: {0} is not family-friendly
Animated: pos_meaning: {0} is animated
neg_meaning: {0} is not animated
InFrozenSeries: pos_meaning: {0} is in the Frozen series
neg_meaning: {0} is not in the Frozen series

Constants:
hachiADogsTale: Hachi: A Dog's Tale
peopleOfAllAges: people of all ages
guidanceFromParents: guidance from parents
children: children
generalAudience: General Audience rating
excessiveEroticViolentContent: excessive erotic and violent content
Predicates:
CanRegisterToVoteIn: pos_meaning: {0} can register to vote in {1}
neg_meaning: {0} cannot register to vote in {1}
CanParticipateIn: pos_meaning: {0} can participate in {1}
neg_meaning: {0} cannot participate in {1}
Have: pos_meaning: {0} has {1}
neg_meaning: {0} does not have {1}
RussianFederationOfficial: pos_meaning: {0} is a Russian Federation official
neg_meaning: {0} is not a Russian Federation official
ManagerAt: pos_meaning: {0} is a manager at {1}
neg_meaning: {0} is not a manager at {1}

Constants:
unitedStates: the United States
y2024UnitedStatesElection: the 2024 United States presidential election
unitedStatesCitizenship: United States citizenship
taiwaneseCitizenship: Taiwanese citizenship
vladimir: Vladimir
gazprom: Gazprom
ekaterina: Ekaterina
Predicates:
PublishingHouse: pos_meaning: {0} is a publishing house
neg_meaning: {0} is not a publishing house
SpecializesInTranslatingIntoEnglish: pos_meaning: {0} specializes in translating {1} into English
neg_meaning: {0} does not specialize in translating {1} into English
Book: pos_meaning: {0} is a book
neg_meaning: {0} is not a book
PublishedBy: pos_meaning: {0} is published by {1}
neg_meaning: {0} is not published by {1}
In: pos_meaning: {0} is in {1}
neg_meaning: {0} is not in {1}
TranslatedFrom: pos_meaning: {0} was translated from {1}
neg_meaning: {0} was not translated from {1}

Constants:
newVesselPress: New Vessel Press
foreignLiterature: foreign literature
english: English
neapolitanChronicles: Neapolitan Chronicles
italian: Italian
palaceOfFlies: Palace of Flies
harryPotter: Harry Potter
Predicates:
Hydrocarbon: pos_meaning: {0} is a hydrocarbon
neg_meaning: {0} is not a hydrocarbon
OrganicCompound: pos_meaning: {0} is an organic compound
neg_meaning: {0} is not an organic compound
Alkane: pos_meaning: {0} is an alkane
neg_meaning: {0} is not an alkane
ChemicalCompound: pos_meaning: {0} is a chemical compound
neg_meaning: {0} is not a chemical compound
Contain: pos_meaning: {0} contains {1}
neg_meaning: {0} does not contain {1}

Constants:
mixture: the mixture
carbon: carbon
Predicates:
Human: pos_meaning: {0} is a human
neg_meaning: {0} is not a human
Mortal: pos_meaning: {0} is mortal
neg_meaning: {0} is not mortal
Greek: pos_meaning: {0} is a Greek
neg_meaning: {0} is not a Greek

Constants:
Predicates:
Hawk: pos_meaning: {0} is a hawk
neg_meaning: {0} is not a hawk
Swim: pos_meaning: {0} swims
neg_meaning: {0} does not swim
Bird: pos_meaning: {0} is a bird
neg_meaning: {0} is not a bird

Constants:
Predicates:
Show: pos_meaning: {0} is a show
neg_meaning: {0} is not a show
AiringAt: pos_meaning: {0} airs at {1}
neg_meaning: {0} does not air at {1}
GivesOutOnTV: pos_meaning: {0} gives out {1} on TV
neg_meaning: {0} does not give out {1} on TV
TheBachelor: pos_meaning: {0} is an episode of The Bachelor
neg_meaning: {0} is not an episode of The Bachelor
Portray: pos_meaning: {0} portrays {1}
neg_meaning: {0} does not portray {1}
RealityTVShow: pos_meaning: {0} is a reality TV show
neg_meaning: {0} is not a reality TV show

Constants:
eightPMMonday: 8 pm on Monday
rose: roses
tv: TV
livesOfRealPeople: the lives of real people
breakingBad: Breaking Bad
Predicates:
DeadlyDisease: pos_meaning: {0} is a deadly disease
neg_meaning: {0} is not a deadly disease
ComeWith: pos_meaning: {0} comes with {1}
neg_meaning: {0} does not come with {1}
SevereCancer: pos_meaning: {0} is a severe cancer
neg_meaning: {0} is not a severe cancer
BileDuctCancer: pos_meaning: {0} is a bile duct cancer
neg_meaning: {0} is not a bile duct cancer
Cholangiocarcinoma: pos_meaning: {0} is a Cholangiocarcinoma
neg_meaning: {0} is not a Cholangiocarcinoma
MildFlu: pos_meaning: {0} is a mild flu
neg_meaning: {0} is not a mild flu

Constants:
lowSurvivalRate: a low survival rate
colorectalCancer: colorectal cancer
Predicates:
RegularlyEat: pos_meaning: {0} regularly eats {1}
neg_meaning: {0} does not regularly eat {1}
ConsciousAbout: pos_meaning: {0} is conscious about {1}
neg_meaning: {0} is not conscious about {1}
GrewUpIn: pos_meaning: {0} grew up in {1}
neg_meaning: {0} did not grow up in {1}
Fulfill: pos_meaning: {0} fulfills {1}
neg_meaning: {0} does not fulfill {1}
Disregard: pos_meaning: {0} disregards {1}
neg_meaning: {0} does not disregard {1}
VisitDaily: pos_meaning: {0} visits {1} daily
neg_meaning: {0} does not visit {1} daily

Constants:
salad: salad
health: health
eatingHabit: eating habits
healthConsciousChildhoodHome: a health-conscious childhood home
dailyNutritionalIntake: daily nutritional intake
physicalWellbeing: physical well-being
gym: the gym
taylor: Taylor
Predicates:
SportingEvent: pos_meaning: {0} is a sporting event
neg_meaning: {0} is not a sporting event
LastSummerOlympics: pos_meaning: {0} is the last summer Olympic games
neg_meaning: {0} is not the last summer Olympic games
MostMedals: pos_meaning: {0} won the most medals at {1}
neg_meaning: {0} did not win the most medals at {1}

Constants:
olympics: the summer Olympic games
tokyoolympics: Tokyo Olympics
unitedStates: the United States
champs: the world championships
Predicates:
Horse: pos_meaning: {0} is a horse
neg_meaning: {0} is not a horse
Human: pos_meaning: {0} is a human
neg_meaning: {0} is not a human
Hoof: pos_meaning: {0} is a hoof
neg_meaning: {0} is not a hoof
Have: pos_meaning: {0} has {1}
neg_meaning: {0} does not have {1}

Constants:
Predicates:
FlyTo: pos_meaning: {0} flies to {1}
neg_meaning: {0} does not fly to {1}
FlyFrom: pos_meaning: {0} flies from {1}
neg_meaning: {0} does not fly from {1}

Constants:
susan: Susan
john: John
lgaAirport: LGA airport
Predicates:
NiceTo: pos_meaning: {0} is nice to {1}
neg_meaning: {0} is not nice to {1}
MeanTo: pos_meaning: {0} is mean to {1}
neg_meaning: {0} is not mean to {1}
Grumpy: pos_meaning: {0} is grumpy
neg_meaning: {0} is not grumpy
AnimalLover: pos_meaning: {0} is an animal lover
neg_meaning: {0} is not an animal lover
PetOwner: pos_meaning: {0} is a pet owner
neg_meaning: {0} is not a pet owner

Constants:
animal: animals
tom: Tom
Predicates:
Podcast: pos_meaning: {0} is a podcast
neg_meaning: {0} is not a podcast
Novel: pos_meaning: {0} is a novel
neg_meaning: {0} is not a novel
BornIn: pos_meaning: {0} was born in {1}
neg_meaning: {0} was not born in {1}
City: pos_meaning: {0} is a city
neg_meaning: {0} is not a city
LocatedIn: pos_meaning: {0} is located in {1}
neg_meaning: {0} is not located in {1}
American: pos_meaning: {0} is American
neg_meaning: {0} is not American
note: Applied to persons
WrittenBy: pos_meaning: {0} is written by {1}
neg_meaning: {0} is not written by {1}
WritesNovel: pos_meaning: {0} is a novel writer
neg_meaning: {0} is not a novel writer
Writer: pos_meaning: {0} is a writer
neg_meaning: {0} is not a writer
WrittenIn: pos_meaning: {0} was written in {1}
neg_meaning: {0} was not written in {1}
CreatedBy: pos_meaning: {0} was created by {1}
neg_meaning: {0} was not created by {1}

Constants:
daniShapiro: Dani Shapiro
familyHistory: Family History
familySecrets: Family Secrets
yr2003: the year 2003
boston: Boston
america: America
Predicates:
Professional: pos_meaning: {0} is a professional
neg_meaning: {0} is not a professional
BasketballPlayer: pos_meaning: {0} is a basketball player
neg_meaning: {0} is not a basketball player
AmericanNational: pos_meaning: {0} is an American national
neg_meaning: {0} is not an American national
CanDo: pos_meaning: {0} can do {1}
neg_meaning: {0} cannot do {1}
LeapStraightIntoAir: pos_meaning: {0} leaps straight into the air
neg_meaning: {0} does not leap straight into the air
Activate: pos_meaning: {0} activates {1}
neg_meaning: {0} does not activate {1}

Constants:
jumpShot: a jump shot
legMuscle: leg muscles
yuri: Yuri
Predicates:
Event: pos_meaning: {0} is an event
neg_meaning: {0} is not an event
Happy: pos_meaning: {0} is happy
neg_meaning: {0} is not happy
Sad: pos_meaning: {0} is sad
neg_meaning: {0} is not sad

Constants:
Predicates:
WinnerOf: pos_meaning: {0} is the winner of {1} in {2}
neg_meaning: {0} is not the winner of {1} in {2}
Participate: pos_meaning: {0} participated in {1} in {2}
neg_meaning: {0} did not participate in {1} in {2}
OnLeaderboardOf: pos_meaning: {0} is on the leaderboard of {1}
neg_meaning: {0} is not on the leaderboard of {1}
SixWayTie: pos_meaning: {0} is a six-way tie
neg_meaning: {0} is not a six-way tie
In: pos_meaning: {0} is in {1}
neg_meaning: {0} is not in {1}
From: pos_meaning: {0} is from {1}
neg_meaning: {0} is not from {1}

Constants:
steinhauer: Steinhauer
duMaurierClassic: the du Maurier Classic
year1992: the year 1992
descampe: Descampe
belgium: Belgium
Predicates:
Animal: pos_meaning: {0} is an animal
neg_meaning: {0} is not an animal
Bark: pos_meaning: {0} barks
neg_meaning: {0} does not bark
Like: pos_meaning: {0} likes {1}
neg_meaning: {0} does not like {1}
Dog: pos_meaning: {0} is a dog
neg_meaning: {0} is not a dog
Jump: pos_meaning: {0} jumps
neg_meaning: {0} does not jump
HasLegs: pos_meaning: {0} has legs
neg_meaning: {0} does not have legs
Terricolous: pos_meaning: {0} is terricolous
neg_meaning: {0} is not terricolous

Constants:
jane: Jane
kiki: KiKi
Predicates:
BreedingBack: pos_meaning: {0} is a breeding-back instance
neg_meaning: {0} is not a breeding-back instance
ArtificialSelection: pos_meaning: {0} is a form of artificial selection
neg_meaning: {0} is not a form of artificial selection
DeliberateSelectiveBreedingOfDomesticAnimals: pos_meaning: {0} involves deliberate selective breeding of domestic animals
neg_meaning: {0} does not involve deliberate selective breeding of domestic animals
HeckCattle: pos_meaning: {0} is a Heck cattle
neg_meaning: {0} is not a Heck cattle
Auroch: pos_meaning: {0} is an auroch
neg_meaning: {0} is not an auroch
Resemble: pos_meaning: {0} resembles {1}
neg_meaning: {0} does not resemble {1}
Animal: pos_meaning: {0} is an animal
neg_meaning: {0} is not an animal
Dead: pos_meaning: {0} is dead or extinct
neg_meaning: {0} is not dead or extinct

Constants:
Predicates:
Student: pos_meaning: {0} is a student
neg_meaning: {0} is not a student
WorkIn: pos_meaning: {0} works in {1}
neg_meaning: {0} does not work in {1}
From: pos_meaning: {0} is from {1}
neg_meaning: {0} is not from {1}
PartTimeJob: pos_meaning: {0} is a part-time job
neg_meaning: {0} is not a part-time job
Have: pos_meaning: {0} has {1}
neg_meaning: {0} does not have {1}
OfferedBy: pos_meaning: {0} is offered by {1}
neg_meaning: {0} is not offered by {1}
Take: pos_meaning: {0} takes {1}
neg_meaning: {0} does not take {1}
InstructedBy: pos_meaning: {0} is instructed by {1}
neg_meaning: {0} is not instructed by {1}

Constants:
library: the library
computerScienceDepartment: the computer science department
university: the university
databaseCourse: the database course
professorDavid: Professor David
lab: the lab
james: James
Predicates:
LikeMusic: pos_meaning: {0} likes music
neg_meaning: {0} does not like music
WantToCompose: pos_meaning: {0} wants to compose
neg_meaning: {0} does not want to compose
AccessToProgram: pos_meaning: {0} has access to a program
neg_meaning: {0} does not have access to a program
CanCompose: pos_meaning: {0} can compose
neg_meaning: {0} cannot compose
WillCompose: pos_meaning: {0} will compose
neg_meaning: {0} will not compose

Constants:
george: George
Predicates:
German: pos_meaning: {0} is German
neg_meaning: {0} is not German
Politician: pos_meaning: {0} is a politician
neg_meaning: {0} is not a politician
Member: pos_meaning: {0} is a member of {1}
neg_meaning: {0} is not a member of {1}
Russian: pos_meaning: {0} is Russian
neg_meaning: {0} is not Russian

Constants:
heinrichSchmidt: Heinrich Schmidt
prussianStateParliament: the Prussian State Parliament
naziReichstag: the Nazi Reichstag
Predicates:
BornIn: pos_meaning: {0} was born in {1}
neg_meaning: {0} was not born in {1}
CommonlyKnownAs: pos_meaning: {0} is commonly known as {1}
neg_meaning: {0} is not commonly known as {1}
FootballPlayer: pos_meaning: {0} is a football player
neg_meaning: {0} is not a football player
LoanedTo: pos_meaning: {0} was loaned to {1}
neg_meaning: {0} was not loaned to {1}
Brazilian: pos_meaning: {0} is Brazilian
neg_meaning: {0} is not Brazilian
PlayFor: pos_meaning: {0} plays for {1}
neg_meaning: {0} does not play for {1}
FootballClub: pos_meaning: {0} is a football club
neg_meaning: {0} is not a football club

Constants:
ailtonSilva: Ailton Silva
ailton: Ailton
year1995: the year 1995
braga: Braga
nautico: Náutico
fluminense: Fluminense