id large_stringlengths 15 20 | depth int32 0 5 | family large_stringclasses 4
values | theory_text large_stringlengths 34 1.14k | facts large listlengths 1 16 | rules large listlengths 1 9 | questions large listlengths 2 24 |
|---|---|---|---|---|---|---|
RelNeg-CWA-D0-744 | 0 | RelNeg | The lion is cold. The lion is kind. The lion is nice. The lion is red. The lion is round. If something is round and not cold then it is kind. | [
{
"id": "triple1",
"text": "The lion is cold.",
"subject": "lion",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
"id": "triple2",
"text": "The lion is kind.",
"subject": "lion",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"id": "tri... | [
{
"id": "rule1",
"text": "If something is round and not cold then it is kind.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "round",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object": ... | [
{
"id": "Q1",
"text": "The lion is nice.",
"query": {
"subject": "lion",
"relation": "is",
"object": "nice",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple3)]",
"proof_graph": [
{
"tree... |
AttNeg-CWA-D0-3182 | 0 | AttNeg | Dave is big. Dave is blue. Dave is furry. Dave is nice. Dave is rough. Dave is round. Dave is white. If Dave is blue and Dave is not furry then Dave is white. If someone is round and not blue then they are nice. | [
{
"id": "triple1",
"text": "Dave is big.",
"subject": "Dave",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Dave is blue.",
"subject": "Dave",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "If Dave is blue and Dave is not furry then Dave is white.",
"premises": [
{
"subject": "Dave",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"subject": "Dave",
"relation": "is",
"object": "furr... | [
{
"id": "Q1",
"text": "Dave is nice.",
"query": {
"subject": "Dave",
"relation": "is",
"object": "nice",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4)]",
"proof_graph": [
{
"tree": "... |
AttNoneg-CWA-D0-615 | 0 | AttNoneg | Gary is cold. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Gary is white. All smart, rough people are white. If Gary is cold and Gary is smart then Gary is quiet. If someone is quiet and nice then they are smart. | [
{
"id": "triple1",
"text": "Gary is cold.",
"subject": "Gary",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
"id": "triple2",
"text": "Gary is nice.",
"subject": "Gary",
"relation": "is",
"object": "nice",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "All smart, rough people are white.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "smart",
"polarity": "+"
},
{
"subject": "someone",
"relation": "is",
"object": "rough",
"pol... | [
{
"id": "Q1",
"text": "Gary is nice.",
"query": {
"subject": "Gary",
"relation": "is",
"object": "nice",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"tree": "... |
AttNeg-CWA-D0-961 | 0 | AttNeg | Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is white. Harry is big. Harry is cold. Harry is kind. Harry is smart. Harry is white. All green people are kind. | [
{
"id": "triple1",
"text": "Erin is big.",
"subject": "Erin",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Erin is blue.",
"subject": "Erin",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "All green people are kind.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "green",
"polarity": "+"
}
],
"conclusion": {
"subject": "someone",
"relation": "is",
"object": "kind",
"po... | [
{
"id": "Q1",
"text": "Fiona is white.",
"query": {
"subject": "Fiona",
"relation": "is",
"object": "white",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple10)]",
"proof_graph": [
{
"tre... |
RelNoneg-CWA-D0-5023 | 0 | RelNoneg | The bear is kind. If someone is big then they are rough. All big, nice people are kind. | [
{
"id": "triple1",
"text": "The bear is kind.",
"subject": "bear",
"relation": "is",
"object": "kind",
"polarity": "+"
}
] | [
{
"id": "rule1",
"text": "If someone is big then they are rough.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "big",
"polarity": "+"
}
],
"conclusion": {
"subject": "someone",
"relation": "is",
"object": "rough"... | [
{
"id": "Q1",
"text": "The bear is kind.",
"query": {
"subject": "bear",
"relation": "is",
"object": "kind",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{
"tree... |
RelNoneg-CWA-D0-2381 | 0 | RelNoneg | The bald eagle is big. The bald eagle is cold. The bald eagle is nice. If someone is cold and rough then they are nice. All big people are kind. If someone is rough then they are cold. If someone is rough and kind then they are nice. If the bald eagle is cold and the bald eagle is nice then the bald eagle is big. If so... | [
{
"id": "triple1",
"text": "The bald eagle is big.",
"subject": "bald eagle",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bald eagle is cold.",
"subject": "bald eagle",
"relation": "is",
"object": "cold",
"polarity": "+"
... | [
{
"id": "rule1",
"text": "If someone is cold and rough then they are nice.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
"subject": "someone",
"relation": "is",
"object": "rough",... | [
{
"id": "Q1",
"text": "The bald eagle is nice.",
"query": {
"subject": "bald eagle",
"relation": "is",
"object": "nice",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple3)]",
"proof_graph": [
{
... |
RelNoneg-CWA-D0-1882 | 0 | RelNoneg | The bear eats the tiger. The bear sees the tiger. The cat eats the bear. The cat sees the tiger. The cow visits the cat. The tiger is rough. The tiger visits the cat. If something is rough and nice then it visits the cat. If something visits the cow then the cow visits the bear. | [
{
"id": "triple1",
"text": "The bear eats the tiger.",
"subject": "bear",
"relation": "eats",
"object": "tiger",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bear sees the tiger.",
"subject": "bear",
"relation": "sees",
"object": "tiger",
"polarity": "+"
}... | [
{
"id": "rule1",
"text": "If something is rough and nice then it visits the cat.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "rough",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object... | [
{
"id": "Q1",
"text": "The bear eats the tiger.",
"query": {
"subject": "bear",
"relation": "eats",
"object": "tiger",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{
... |
AttNeg-CWA-D0-5346 | 0 | AttNeg | Anne is furry. Anne is green. Anne is quiet. Anne is smart. Anne is white. Anne is young. Gary is furry. Gary is kind. Gary is quiet. Gary is smart. Gary is white. Gary is young. If Gary is not quiet then Gary is green. If something is smart and not kind then it is furry. | [
{
"id": "triple1",
"text": "Anne is furry.",
"subject": "Anne",
"relation": "is",
"object": "furry",
"polarity": "+"
},
{
"id": "triple2",
"text": "Anne is green.",
"subject": "Anne",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"id": "triple3... | [
{
"id": "rule1",
"text": "If Gary is not quiet then Gary is green.",
"premises": [
{
"subject": "Gary",
"relation": "is",
"object": "quiet",
"polarity": "~"
}
],
"conclusion": {
"subject": "Gary",
"relation": "is",
"object": "green",
... | [
{
"id": "Q1",
"text": "Gary is quiet.",
"query": {
"subject": "Gary",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple9)]",
"proof_graph": [
{
"tree":... |
AttNoneg-CWA-D0-5948 | 0 | AttNoneg | Dave is big. Dave is furry. Dave is white. Harry is big. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is round. Harry is white. Big, quiet people are green. If Dave is white then Dave is quiet. | [
{
"id": "triple1",
"text": "Dave is big.",
"subject": "Dave",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Dave is furry.",
"subject": "Dave",
"relation": "is",
"object": "furry",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "Big, quiet people are green.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"subject": "someone",
"relation": "is",
"object": "quiet",
"polarity": ... | [
{
"id": "Q1",
"text": "Harry is big.",
"query": {
"subject": "Harry",
"relation": "is",
"object": "big",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4)]",
"proof_graph": [
{
"tree": "... |
AttNoneg-CWA-D0-4078 | 0 | AttNoneg | Anne is cold. Anne is quiet. Anne is rough. Anne is white. Dave is big. Dave is blue. Erin is cold. Erin is round. Harry is big. Harry is blue. Rough people are round. If Harry is big and Harry is cold then Harry is blue. All big people are cold. If Dave is blue then Dave is rough. If someone is blue then they are roug... | [
{
"id": "triple1",
"text": "Anne is cold.",
"subject": "Anne",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
"id": "triple2",
"text": "Anne is quiet.",
"subject": "Anne",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
{
"id": "triple3",... | [
{
"id": "rule1",
"text": "Rough people are round.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "rough",
"polarity": "+"
}
],
"conclusion": {
"subject": "someone",
"relation": "is",
"object": "round",
"pola... | [
{
"id": "Q1",
"text": "Harry is big.",
"query": {
"subject": "Harry",
"relation": "is",
"object": "big",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple9)]",
"proof_graph": [
{
"tree": "... |
AttNoneg-CWA-D0-5752 | 0 | AttNoneg | Erin is cold. Erin is rough. Erin is white. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is smart. Harry is furry. Harry is green. White, green things are rough. All green, rough things are furry. All rough things are cold. | [
{
"id": "triple1",
"text": "Erin is cold.",
"subject": "Erin",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
"id": "triple2",
"text": "Erin is rough.",
"subject": "Erin",
"relation": "is",
"object": "rough",
"polarity": "+"
},
{
"id": "triple3",... | [
{
"id": "rule1",
"text": "White, green things are rough.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "white",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object": "green",
"pol... | [
{
"id": "Q1",
"text": "Erin is rough.",
"query": {
"subject": "Erin",
"relation": "is",
"object": "rough",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"tree":... |
AttNeg-CWA-D0-6479 | 0 | AttNeg | Dave is big. Dave is blue. Dave is green. Dave is nice. Dave is rough. Dave is smart. Dave is young. Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is rough. Harry is smart. Harry is young. If someone is rough and not blue then they are nice. | [
{
"id": "triple1",
"text": "Dave is big.",
"subject": "Dave",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Dave is blue.",
"subject": "Dave",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "If someone is rough and not blue then they are nice.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "rough",
"polarity": "+"
},
{
"subject": "someone",
"relation": "is",
"object": "bl... | [
{
"id": "Q1",
"text": "Harry is big.",
"query": {
"subject": "Harry",
"relation": "is",
"object": "big",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple8)]",
"proof_graph": [
{
"tree": "... |
AttNoneg-CWA-D0-7216 | 0 | AttNoneg | Anne is green. Anne is kind. Anne is quiet. Anne is rough. Anne is smart. Anne is young. Charlie is blue. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is young. Fiona is rough. Harry is blue. Harry is young. All smart things are blue. All green things are rough. Blue things are green. ... | [
{
"id": "triple1",
"text": "Anne is green.",
"subject": "Anne",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"id": "triple2",
"text": "Anne is kind.",
"subject": "Anne",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"id": "triple3",... | [
{
"id": "rule1",
"text": "All smart things are blue.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "smart",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "is",
"object": "blue",
... | [
{
"id": "Q1",
"text": "Anne is kind.",
"query": {
"subject": "Anne",
"relation": "is",
"object": "kind",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"tree": "... |
AttNoneg-CWA-D0-6081 | 0 | AttNoneg | Harry is blue. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is smart. Harry is white. Blue, red things are green. | [
{
"id": "triple1",
"text": "Harry is blue.",
"subject": "Harry",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple2",
"text": "Harry is green.",
"subject": "Harry",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"id": "tripl... | [
{
"id": "rule1",
"text": "Blue, red things are green.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object": "red",
"polarity"... | [
{
"id": "Q1",
"text": "Harry is green.",
"query": {
"subject": "Harry",
"relation": "is",
"object": "green",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2 OR ((triple1 triple5) -> rule1))]",
"proof... |
AttNoneg-CWA-D0-4198 | 0 | AttNoneg | Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. Charlie is young. Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is rough. Dave is round. Dave is young. All blue things are green. If Charlie is green then Charlie is round. Round things are rough. | [
{
"id": "triple1",
"text": "Charlie is blue.",
"subject": "Charlie",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple2",
"text": "Charlie is green.",
"subject": "Charlie",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"id"... | [
{
"id": "rule1",
"text": "All blue things are green.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "blue",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "is",
"object": "green",
... | [
{
"id": "Q1",
"text": "Charlie is rough.",
"query": {
"subject": "Charlie",
"relation": "is",
"object": "rough",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple5 OR ((triple6) -> rule3) OR ((((triple2) ->... |
AttNeg-CWA-D0-5132 | 0 | AttNeg | Anne is big. Bob is young. Harry is big. If Anne is green then Anne is young. All cold, young people are rough. If Bob is round then Bob is furry. Young, round people are cold. If someone is furry then they are round. All furry, green people are round. Rough people are round. If someone is green and not young then they... | [
{
"id": "triple1",
"text": "Anne is big.",
"subject": "Anne",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Bob is young.",
"subject": "Bob",
"relation": "is",
"object": "young",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "If Anne is green then Anne is young.",
"premises": [
{
"subject": "Anne",
"relation": "is",
"object": "green",
"polarity": "+"
}
],
"conclusion": {
"subject": "Anne",
"relation": "is",
"object": "young",
... | [
{
"id": "Q1",
"text": "Anne is big.",
"query": {
"subject": "Anne",
"relation": "is",
"object": "big",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{
"tree": "tr... |
AttNeg-CWA-D0-5336 | 0 | AttNeg | Fiona is cold. Fiona is furry. Fiona is nice. Fiona is red. Fiona is rough. Fiona is white. Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is red. Gary is rough. Gary is white. Harry is furry. Harry is nice. Harry is rough. All nice things are white. Cold, blue things are furry. If something is rough and... | [
{
"id": "triple1",
"text": "Fiona is cold.",
"subject": "Fiona",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
"id": "triple2",
"text": "Fiona is furry.",
"subject": "Fiona",
"relation": "is",
"object": "furry",
"polarity": "+"
},
{
"id": "tripl... | [
{
"id": "rule1",
"text": "All nice things are white.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "nice",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "is",
"object": "white",
... | [
{
"id": "Q1",
"text": "Gary is red.",
"query": {
"subject": "Gary",
"relation": "is",
"object": "red",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple11)]",
"proof_graph": [
{
"tree": "t... |
RelNoneg-CWA-D0-4146 | 0 | RelNoneg | The bear is green. The bear needs the cat. The bear needs the rabbit. The bear visits the rabbit. The cat is blue. The cat is kind. The cat is round. The cat is young. The cat needs the bear. The cat sees the bear. The cat sees the rabbit. The cat visits the rabbit. The rabbit needs the bear. The rabbit visits the bear... | [
{
"id": "triple1",
"text": "The bear is green.",
"subject": "bear",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bear needs the cat.",
"subject": "bear",
"relation": "needs",
"object": "cat",
"polarity": "+"
},
{
... | [
{
"id": "rule1",
"text": "If something is blue and young then it sees the rabbit.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object... | [
{
"id": "Q1",
"text": "The cat is kind.",
"query": {
"subject": "cat",
"relation": "is",
"object": "kind",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple6)]",
"proof_graph": [
{
"tree":... |
AttNoneg-CWA-D0-3644 | 0 | AttNoneg | Erin is quiet. Erin is rough. Erin is smart. Gary is quiet. Gary is rough. Harry is furry. Harry is white. If Harry is rough then Harry is white. If someone is round and smart then they are rough. If someone is white and furry then they are green. Round, rough people are furry. If someone is green then they are white. ... | [
{
"id": "triple1",
"text": "Erin is quiet.",
"subject": "Erin",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
{
"id": "triple2",
"text": "Erin is rough.",
"subject": "Erin",
"relation": "is",
"object": "rough",
"polarity": "+"
},
{
"id": "triple3... | [
{
"id": "rule1",
"text": "If Harry is rough then Harry is white.",
"premises": [
{
"subject": "Harry",
"relation": "is",
"object": "rough",
"polarity": "+"
}
],
"conclusion": {
"subject": "Harry",
"relation": "is",
"object": "white",
... | [
{
"id": "Q1",
"text": "Erin is smart.",
"query": {
"subject": "Erin",
"relation": "is",
"object": "smart",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple3)]",
"proof_graph": [
{
"tree":... |
RelNeg-CWA-D0-5386 | 0 | RelNeg | The cat chases the lion. The cat eats the lion. The cat is big. The cat is blue. The cat is green. The cat is red. The cat likes the lion. The lion eats the cat. The lion is big. The lion is blue. The lion is red. The lion likes the cat. If something is blue and it does not chase the cat then the cat chases the lion. I... | [
{
"id": "triple1",
"text": "The cat chases the lion.",
"subject": "cat",
"relation": "chases",
"object": "lion",
"polarity": "+"
},
{
"id": "triple2",
"text": "The cat eats the lion.",
"subject": "cat",
"relation": "eats",
"object": "lion",
"polarity": "+"
},
... | [
{
"id": "rule1",
"text": "If something is blue and it does not chase the cat then the cat chases the lion.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"subject": "something",
"relatio... | [
{
"id": "Q1",
"text": "The cat chases the lion.",
"query": {
"subject": "cat",
"relation": "chases",
"object": "lion",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1 OR ((triple10 NAF) -> rule1) OR ((tr... |
AttNeg-CWA-D0-7089 | 0 | AttNeg | Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is round. Bob is white. If something is nice and not round then it is quiet. | [
{
"id": "triple1",
"text": "Bob is cold.",
"subject": "Bob",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
"id": "triple2",
"text": "Bob is green.",
"subject": "Bob",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "If something is nice and not round then it is quiet.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "nice",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object": ... | [
{
"id": "Q1",
"text": "Bob is white.",
"query": {
"subject": "Bob",
"relation": "is",
"object": "white",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple7)]",
"proof_graph": [
{
"tree": "... |
AttNoneg-CWA-D0-698 | 0 | AttNoneg | Anne is furry. Anne is nice. Anne is smart. Anne is young. Fiona is furry. Fiona is nice. Fiona is red. Red, quiet people are furry. If Anne is young then Anne is nice. | [
{
"id": "triple1",
"text": "Anne is furry.",
"subject": "Anne",
"relation": "is",
"object": "furry",
"polarity": "+"
},
{
"id": "triple2",
"text": "Anne is nice.",
"subject": "Anne",
"relation": "is",
"object": "nice",
"polarity": "+"
},
{
"id": "triple3",... | [
{
"id": "rule1",
"text": "Red, quiet people are furry.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "red",
"polarity": "+"
},
{
"subject": "someone",
"relation": "is",
"object": "quiet",
"polarity": ... | [
{
"id": "Q1",
"text": "Anne is nice.",
"query": {
"subject": "Anne",
"relation": "is",
"object": "nice",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2 OR ((triple4) -> rule2))]",
"proof_graph": [
... |
RelNeg-CWA-D0-1920 | 0 | RelNeg | The cat chases the rabbit. The cat is cold. The cat is kind. The cat is nice. The cat is red. The cat is rough. The cat needs the rabbit. The cat visits the rabbit. The rabbit chases the cat. The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit needs the cat. Th... | [
{
"id": "triple1",
"text": "The cat chases the rabbit.",
"subject": "cat",
"relation": "chases",
"object": "rabbit",
"polarity": "+"
},
{
"id": "triple2",
"text": "The cat is cold.",
"subject": "cat",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
... | [
{
"id": "rule1",
"text": "If someone chases the rabbit then the rabbit needs the cat.",
"premises": [
{
"subject": "someone",
"relation": "chases",
"object": "rabbit",
"polarity": "+"
}
],
"conclusion": {
"subject": "rabbit",
"relation": "n... | [
{
"id": "Q1",
"text": "The cat is rough.",
"query": {
"subject": "cat",
"relation": "is",
"object": "rough",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple6)]",
"proof_graph": [
{
"tree... |
AttNoneg-CWA-D0-3374 | 0 | AttNoneg | Bob is smart. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is smart. Harry is cold. Harry is nice. All kind, nice people are rough. Kind, green people are smart. All nice people are rough. If Harry is smart then Harry is kind. If Charlie is cold and Charlie is big then Charlie is nice. All green, smart pe... | [
{
"id": "triple1",
"text": "Bob is smart.",
"subject": "Bob",
"relation": "is",
"object": "smart",
"polarity": "+"
},
{
"id": "triple2",
"text": "Charlie is cold.",
"subject": "Charlie",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
"id": "tripl... | [
{
"id": "rule1",
"text": "All kind, nice people are rough.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"subject": "someone",
"relation": "is",
"object": "nice",
"polarit... | [
{
"id": "Q1",
"text": "Harry is nice.",
"query": {
"subject": "Harry",
"relation": "is",
"object": "nice",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple7)]",
"proof_graph": [
{
"tree":... |
RelNeg-CWA-D0-3053 | 0 | RelNeg | The dog sees the lion. The lion needs the mouse. The mouse sees the squirrel. The squirrel chases the lion. If the squirrel sees the dog and the squirrel does not chase the lion then the dog is nice. If someone is rough then they see the mouse. If someone chases the squirrel then they need the mouse. | [
{
"id": "triple1",
"text": "The dog sees the lion.",
"subject": "dog",
"relation": "sees",
"object": "lion",
"polarity": "+"
},
{
"id": "triple2",
"text": "The lion needs the mouse.",
"subject": "lion",
"relation": "needs",
"object": "mouse",
"polarity": "+"
},
... | [
{
"id": "rule1",
"text": "If the squirrel sees the dog and the squirrel does not chase the lion then the dog is nice.",
"premises": [
{
"subject": "squirrel",
"relation": "sees",
"object": "dog",
"polarity": "+"
},
{
"subject": "squirrel",
... | [
{
"id": "Q1",
"text": "The lion needs the mouse.",
"query": {
"subject": "lion",
"relation": "needs",
"object": "mouse",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
... |
AttNoneg-CWA-D0-3738 | 0 | AttNoneg | Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is smart. Dave is young. If something is furry then it is nice. | [
{
"id": "triple1",
"text": "Dave is blue.",
"subject": "Dave",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple2",
"text": "Dave is cold.",
"subject": "Dave",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "If something is furry then it is nice.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "furry",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "is",
"object": "... | [
{
"id": "Q1",
"text": "Dave is nice.",
"query": {
"subject": "Dave",
"relation": "is",
"object": "nice",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple5 OR ((triple3) -> rule1))]",
"proof_graph": [
... |
RelNoneg-CWA-D0-2108 | 0 | RelNoneg | The cat is red. The rabbit likes the cat. If something needs the cat then it is big. If something sees the rabbit and it needs the rabbit then the rabbit is cold. If something is big and kind then it sees the rabbit. If something is big and it sees the rabbit then the rabbit is big. If something sees the rabbit and it ... | [
{
"id": "triple1",
"text": "The cat is red.",
"subject": "cat",
"relation": "is",
"object": "red",
"polarity": "+"
},
{
"id": "triple2",
"text": "The rabbit likes the cat.",
"subject": "rabbit",
"relation": "likes",
"object": "cat",
"polarity": "+"
}
] | [
{
"id": "rule1",
"text": "If something needs the cat then it is big.",
"premises": [
{
"subject": "something",
"relation": "needs",
"object": "cat",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "is",
"objec... | [
{
"id": "Q1",
"text": "The rabbit likes the cat.",
"query": {
"subject": "rabbit",
"relation": "likes",
"object": "cat",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
... |
AttNoneg-CWA-D0-5934 | 0 | AttNoneg | Bob is kind. Bob is quiet. Bob is rough. Bob is white. Bob is young. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is young. If someone is kind and young then they are quiet. | [
{
"id": "triple1",
"text": "Bob is kind.",
"subject": "Bob",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"id": "triple2",
"text": "Bob is quiet.",
"subject": "Bob",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "If someone is kind and young then they are quiet.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"subject": "someone",
"relation": "is",
"object": "young"... | [
{
"id": "Q1",
"text": "Bob is quiet.",
"query": {
"subject": "Bob",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2 OR ((triple1 triple5) -> rule1))]",
"proof_gra... |
RelNoneg-CWA-D0-3093 | 0 | RelNoneg | The bald eagle is nice. The bald eagle needs the lion. The lion is big. If someone sees the lion then the lion sees the bald eagle. | [
{
"id": "triple1",
"text": "The bald eagle is nice.",
"subject": "bald eagle",
"relation": "is",
"object": "nice",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bald eagle needs the lion.",
"subject": "bald eagle",
"relation": "needs",
"object": "lion",
"pola... | [
{
"id": "rule1",
"text": "If someone sees the lion then the lion sees the bald eagle.",
"premises": [
{
"subject": "someone",
"relation": "sees",
"object": "lion",
"polarity": "+"
}
],
"conclusion": {
"subject": "lion",
"relation": "sees",
... | [
{
"id": "Q1",
"text": "The lion is big.",
"query": {
"subject": "lion",
"relation": "is",
"object": "big",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple3)]",
"proof_graph": [
{
"tree":... |
AttNeg-CWA-D0-515 | 0 | AttNeg | Bob is young. Charlie is furry. Gary is red. Young people are red. If someone is red then they are rough. If someone is red then they are young. | [
{
"id": "triple1",
"text": "Bob is young.",
"subject": "Bob",
"relation": "is",
"object": "young",
"polarity": "+"
},
{
"id": "triple2",
"text": "Charlie is furry.",
"subject": "Charlie",
"relation": "is",
"object": "furry",
"polarity": "+"
},
{
"id": "tri... | [
{
"id": "rule1",
"text": "Young people are red.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "young",
"polarity": "+"
}
],
"conclusion": {
"subject": "someone",
"relation": "is",
"object": "red",
"polarity... | [
{
"id": "Q1",
"text": "Charlie is furry.",
"query": {
"subject": "Charlie",
"relation": "is",
"object": "furry",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"... |
RelNeg-CWA-D0-745 | 0 | RelNeg | The tiger is big. The tiger is nice. The tiger is rough. All big things are young. Rough, blue things are young. If the tiger is not blue then the tiger is young. If the tiger is not blue then the tiger is young. If the tiger is young then the tiger is rough. Young things are rough. If something is nice then it is big.... | [
{
"id": "triple1",
"text": "The tiger is big.",
"subject": "tiger",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "The tiger is nice.",
"subject": "tiger",
"relation": "is",
"object": "nice",
"polarity": "+"
},
{
"id": "t... | [
{
"id": "rule1",
"text": "All big things are young.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "big",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "is",
"object": "young",
"... | [
{
"id": "Q1",
"text": "The tiger is nice.",
"query": {
"subject": "tiger",
"relation": "is",
"object": "nice",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2 OR ((triple3) -> rule8) OR ((((((NAF) -> rul... |
AttNoneg-CWA-D0-5746 | 0 | AttNoneg | Dave is nice. Dave is rough. Fiona is nice. All furry, big things are nice. Furry things are white. All blue things are nice. If something is big then it is young. If something is furry and nice then it is white. Big things are nice. If something is white then it is big. If something is young then it is nice. | [
{
"id": "triple1",
"text": "Dave is nice.",
"subject": "Dave",
"relation": "is",
"object": "nice",
"polarity": "+"
},
{
"id": "triple2",
"text": "Dave is rough.",
"subject": "Dave",
"relation": "is",
"object": "rough",
"polarity": "+"
},
{
"id": "triple3",... | [
{
"id": "rule1",
"text": "All furry, big things are nice.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "furry",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object": "big",
"pola... | [
{
"id": "Q1",
"text": "Fiona is nice.",
"query": {
"subject": "Fiona",
"relation": "is",
"object": "nice",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple3)]",
"proof_graph": [
{
"tree":... |
AttNeg-CWA-D0-6749 | 0 | AttNeg | Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Gary is white. If someone is blue and not big then they are furry. Big, green people are cold. Cold people are white. | [
{
"id": "triple1",
"text": "Gary is big.",
"subject": "Gary",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Gary is blue.",
"subject": "Gary",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "If someone is blue and not big then they are furry.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"subject": "someone",
"relation": "is",
"object": "big"... | [
{
"id": "Q1",
"text": "Gary is white.",
"query": {
"subject": "Gary",
"relation": "is",
"object": "white",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple7 OR ((triple3) -> rule3) OR ((((triple1 triple5) ... |
AttNeg-CWA-D0-4949 | 0 | AttNeg | Charlie is furry. Charlie is green. Charlie is round. Charlie is white. Charlie is young. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is round. Harry is white. Harry is young. If Charlie is round and Charlie is not young then Charlie is kind. All furry, blue things are round. | [
{
"id": "triple1",
"text": "Charlie is furry.",
"subject": "Charlie",
"relation": "is",
"object": "furry",
"polarity": "+"
},
{
"id": "triple2",
"text": "Charlie is green.",
"subject": "Charlie",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"i... | [
{
"id": "rule1",
"text": "If Charlie is round and Charlie is not young then Charlie is kind.",
"premises": [
{
"subject": "Charlie",
"relation": "is",
"object": "round",
"polarity": "+"
},
{
"subject": "Charlie",
"relation": "is",
... | [
{
"id": "Q1",
"text": "Harry is kind.",
"query": {
"subject": "Harry",
"relation": "is",
"object": "kind",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple9)]",
"proof_graph": [
{
"tree":... |
AttNoneg-CWA-D0-437 | 0 | AttNoneg | Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Erin is big. Erin is blue. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is rough. All green things are blue. If Erin is kind then Erin is blue. Blue, big things are rough. Nice, kind things are blue. All kind things ar... | [
{
"id": "triple1",
"text": "Charlie is green.",
"subject": "Charlie",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"id": "triple2",
"text": "Charlie is kind.",
"subject": "Charlie",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"id"... | [
{
"id": "rule1",
"text": "All green things are blue.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "green",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "is",
"object": "blue",
... | [
{
"id": "Q1",
"text": "Erin is kind.",
"query": {
"subject": "Erin",
"relation": "is",
"object": "kind",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple9)]",
"proof_graph": [
{
"tree": "... |
AttNoneg-CWA-D0-6699 | 0 | AttNoneg | Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is quiet. Bob is red. Bob is rough. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Harry is big. Harry is blue. Harry is cold. Harry is quiet. Harry is red. If something is red then it is cold. | [
{
"id": "triple1",
"text": "Bob is big.",
"subject": "Bob",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Bob is blue.",
"subject": "Bob",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple3",
"te... | [
{
"id": "rule1",
"text": "If something is red then it is cold.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "red",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "is",
"object": "cold... | [
{
"id": "Q1",
"text": "Bob is furry.",
"query": {
"subject": "Bob",
"relation": "is",
"object": "furry",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4)]",
"proof_graph": [
{
"tree": "... |
RelNoneg-CWA-D0-1090 | 0 | RelNoneg | The bear chases the tiger. The bear is round. The tiger is round. If someone sees the bear then they like the tiger. If someone chases the tiger then they are nice. | [
{
"id": "triple1",
"text": "The bear chases the tiger.",
"subject": "bear",
"relation": "chases",
"object": "tiger",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bear is round.",
"subject": "bear",
"relation": "is",
"object": "round",
"polarity": "+"
},
... | [
{
"id": "rule1",
"text": "If someone sees the bear then they like the tiger.",
"premises": [
{
"subject": "someone",
"relation": "sees",
"object": "bear",
"polarity": "+"
}
],
"conclusion": {
"subject": "someone",
"relation": "likes",
... | [
{
"id": "Q1",
"text": "The bear chases the tiger.",
"query": {
"subject": "bear",
"relation": "chases",
"object": "tiger",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{... |
RelNoneg-CWA-D0-3479 | 0 | RelNoneg | The bear chases the mouse. The bear chases the tiger. The bear eats the mouse. The bear eats the tiger. The bear is cold. The bear is red. The bear likes the mouse. The bear likes the tiger. The mouse chases the tiger. The mouse eats the bear. The mouse is cold. The mouse is rough. The tiger chases the bear. The tiger ... | [
{
"id": "triple1",
"text": "The bear chases the mouse.",
"subject": "bear",
"relation": "chases",
"object": "mouse",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bear chases the tiger.",
"subject": "bear",
"relation": "chases",
"object": "tiger",
"polarity":... | [
{
"id": "rule1",
"text": "If someone chases the bear and the bear likes the mouse then they chase the mouse.",
"premises": [
{
"subject": "someone",
"relation": "chases",
"object": "bear",
"polarity": "+"
},
{
"subject": "bear",
"relation... | [
{
"id": "Q1",
"text": "The tiger eats the mouse.",
"query": {
"subject": "tiger",
"relation": "eats",
"object": "mouse",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple15)]",
"proof_graph": [
{
... |
RelNeg-CWA-D0-3883 | 0 | RelNeg | The tiger is big. The tiger is green. The tiger is rough. The tiger is round. The tiger is young. All round, rough people are big. If the tiger is rough then the tiger is big. | [
{
"id": "triple1",
"text": "The tiger is big.",
"subject": "tiger",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "The tiger is green.",
"subject": "tiger",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"id": ... | [
{
"id": "rule1",
"text": "All round, rough people are big.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "round",
"polarity": "+"
},
{
"subject": "someone",
"relation": "is",
"object": "rough",
"polar... | [
{
"id": "Q1",
"text": "The tiger is green.",
"query": {
"subject": "tiger",
"relation": "is",
"object": "green",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"... |
AttNoneg-CWA-D0-4956 | 0 | AttNoneg | Anne is cold. Anne is kind. Anne is nice. Anne is round. Anne is young. Erin is blue. Erin is cold. Erin is kind. Erin is round. Erin is young. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is young. Blue, cold things are furry. | [
{
"id": "triple1",
"text": "Anne is cold.",
"subject": "Anne",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
"id": "triple2",
"text": "Anne is kind.",
"subject": "Anne",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "Blue, cold things are furry.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object": "cold",
"polarit... | [
{
"id": "Q1",
"text": "Anne is round.",
"query": {
"subject": "Anne",
"relation": "is",
"object": "round",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4)]",
"proof_graph": [
{
"tree":... |
RelNeg-CWA-D0-5448 | 0 | RelNeg | The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is kind. The bald eagle is round. All kind things are green. If the bald eagle is cold and the bald eagle is not round then the bald eagle is blue. All blue, green things are cold. | [
{
"id": "triple1",
"text": "The bald eagle is blue.",
"subject": "bald eagle",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bald eagle is cold.",
"subject": "bald eagle",
"relation": "is",
"object": "cold",
"polarity": "+"... | [
{
"id": "rule1",
"text": "All kind things are green.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "kind",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "is",
"object": "green",
... | [
{
"id": "Q1",
"text": "The bald eagle is blue.",
"query": {
"subject": "bald eagle",
"relation": "is",
"object": "blue",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{
... |
RelNoneg-CWA-D0-5351 | 0 | RelNoneg | The bear likes the mouse. The mouse sees the bear. If someone likes the mouse then the mouse is cold. If someone is rough and they see the mouse then they like the mouse. If the bear chases the mouse and the bear likes the mouse then the bear sees the mouse. If someone chases the bear then they are cold. If someone see... | [
{
"id": "triple1",
"text": "The bear likes the mouse.",
"subject": "bear",
"relation": "likes",
"object": "mouse",
"polarity": "+"
},
{
"id": "triple2",
"text": "The mouse sees the bear.",
"subject": "mouse",
"relation": "sees",
"object": "bear",
"polarity": "+"
... | [
{
"id": "rule1",
"text": "If someone likes the mouse then the mouse is cold.",
"premises": [
{
"subject": "someone",
"relation": "likes",
"object": "mouse",
"polarity": "+"
}
],
"conclusion": {
"subject": "mouse",
"relation": "is",
"o... | [
{
"id": "Q1",
"text": "The mouse sees the bear.",
"query": {
"subject": "mouse",
"relation": "sees",
"object": "bear",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
... |
AttNeg-CWA-D0-4202 | 0 | AttNeg | Anne is green. Bob is red. Dave is furry. Fiona is red. If Anne is not quiet and Anne is not smart then Anne is green. All red things are furry. If something is red then it is blue. | [
{
"id": "triple1",
"text": "Anne is green.",
"subject": "Anne",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"id": "triple2",
"text": "Bob is red.",
"subject": "Bob",
"relation": "is",
"object": "red",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "If Anne is not quiet and Anne is not smart then Anne is green.",
"premises": [
{
"subject": "Anne",
"relation": "is",
"object": "quiet",
"polarity": "~"
},
{
"subject": "Anne",
"relation": "is",
"object":... | [
{
"id": "Q1",
"text": "Bob is red.",
"query": {
"subject": "Bob",
"relation": "is",
"object": "red",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"tree": "trip... |
AttNoneg-CWA-D0-3547 | 0 | AttNoneg | Charlie is red. Dave is big. Harry is green. If Harry is green then Harry is cold. | [
{
"id": "triple1",
"text": "Charlie is red.",
"subject": "Charlie",
"relation": "is",
"object": "red",
"polarity": "+"
},
{
"id": "triple2",
"text": "Dave is big.",
"subject": "Dave",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple3",... | [
{
"id": "rule1",
"text": "If Harry is green then Harry is cold.",
"premises": [
{
"subject": "Harry",
"relation": "is",
"object": "green",
"polarity": "+"
}
],
"conclusion": {
"subject": "Harry",
"relation": "is",
"object": "cold",
... | [
{
"id": "Q1",
"text": "Harry is green.",
"query": {
"subject": "Harry",
"relation": "is",
"object": "green",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple3)]",
"proof_graph": [
{
"tree... |
AttNeg-CWA-D0-360 | 0 | AttNeg | Anne is quiet. Anne is red. Charlie is nice. Charlie is red. Erin is big. Erin is kind. Erin is nice. Gary is big. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Big, nice people are quiet. If Anne is not red then Anne is quiet. If Gary is red then Gary is white. | [
{
"id": "triple1",
"text": "Anne is quiet.",
"subject": "Anne",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
{
"id": "triple2",
"text": "Anne is red.",
"subject": "Anne",
"relation": "is",
"object": "red",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "Big, nice people are quiet.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"subject": "someone",
"relation": "is",
"object": "nice",
"polarity": "+... | [
{
"id": "Q1",
"text": "Charlie is red.",
"query": {
"subject": "Charlie",
"relation": "is",
"object": "red",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4)]",
"proof_graph": [
{
"tree... |
RelNoneg-CWA-D0-3933 | 0 | RelNoneg | The mouse is kind. The mouse is nice. The mouse likes the squirrel. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel is nice. The squirrel sees the mouse. If someone needs the mouse and they are nice then they need the squirrel. | [
{
"id": "triple1",
"text": "The mouse is kind.",
"subject": "mouse",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"id": "triple2",
"text": "The mouse is nice.",
"subject": "mouse",
"relation": "is",
"object": "nice",
"polarity": "+"
},
{
"id": ... | [
{
"id": "rule1",
"text": "If someone needs the mouse and they are nice then they need the squirrel.",
"premises": [
{
"subject": "someone",
"relation": "needs",
"object": "mouse",
"polarity": "+"
},
{
"subject": "someone",
"relation": "is... | [
{
"id": "Q1",
"text": "The mouse needs the squirrel.",
"query": {
"subject": "mouse",
"relation": "needs",
"object": "squirrel",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4)]",
"proof_graph": [
... |
RelNeg-CWA-D0-598 | 0 | RelNeg | The bald eagle needs the cat. The cat needs the bald eagle. The lion needs the bald eagle. If someone sees the cat and the cat does not need the bald eagle then the bald eagle is blue. | [
{
"id": "triple1",
"text": "The bald eagle needs the cat.",
"subject": "bald eagle",
"relation": "needs",
"object": "cat",
"polarity": "+"
},
{
"id": "triple2",
"text": "The cat needs the bald eagle.",
"subject": "cat",
"relation": "needs",
"object": "bald eagle",
... | [
{
"id": "rule1",
"text": "If someone sees the cat and the cat does not need the bald eagle then the bald eagle is blue.",
"premises": [
{
"subject": "someone",
"relation": "sees",
"object": "cat",
"polarity": "+"
},
{
"subject": "cat",
"r... | [
{
"id": "Q1",
"text": "The lion needs the bald eagle.",
"query": {
"subject": "lion",
"relation": "needs",
"object": "bald eagle",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple3)]",
"proof_graph": [... |
RelNeg-CWA-D0-1040 | 0 | RelNeg | The cat chases the lion. The cat eats the lion. The cat is kind. The cat needs the squirrel. The lion eats the cat. The lion is kind. The lion needs the cat. The lion needs the squirrel. The squirrel chases the lion. The squirrel needs the cat. If someone eats the squirrel then they are red. | [
{
"id": "triple1",
"text": "The cat chases the lion.",
"subject": "cat",
"relation": "chases",
"object": "lion",
"polarity": "+"
},
{
"id": "triple2",
"text": "The cat eats the lion.",
"subject": "cat",
"relation": "eats",
"object": "lion",
"polarity": "+"
},
... | [
{
"id": "rule1",
"text": "If someone eats the squirrel then they are red.",
"premises": [
{
"subject": "someone",
"relation": "eats",
"object": "squirrel",
"polarity": "+"
}
],
"conclusion": {
"subject": "someone",
"relation": "is",
"... | [
{
"id": "Q1",
"text": "The cat is kind.",
"query": {
"subject": "cat",
"relation": "is",
"object": "kind",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple3)]",
"proof_graph": [
{
"tree":... |
RelNeg-CWA-D0-2266 | 0 | RelNeg | The bear eats the lion. The bear is big. The bear likes the lion. The bear visits the lion. The lion eats the bear. The lion is round. The rabbit eats the lion. The rabbit is blue. The tiger eats the bear. The tiger eats the lion. The tiger is cold. The tiger likes the bear. If something is blue and it eats the bear th... | [
{
"id": "triple1",
"text": "The bear eats the lion.",
"subject": "bear",
"relation": "eats",
"object": "lion",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bear is big.",
"subject": "bear",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id"... | [
{
"id": "rule1",
"text": "If something is blue and it eats the bear then it is round.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"subject": "something",
"relation": "eats",
"... | [
{
"id": "Q1",
"text": "The bear likes the lion.",
"query": {
"subject": "bear",
"relation": "likes",
"object": "lion",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple3)]",
"proof_graph": [
{
... |
RelNeg-CWA-D0-3210 | 0 | RelNeg | The bald eagle chases the cow. The bald eagle chases the mouse. The bald eagle is big. The bald eagle is round. The bald eagle needs the cow. The bald eagle needs the mouse. The bald eagle visits the cow. The bald eagle visits the mouse. The cow needs the bald eagle. The mouse chases the cow. The mouse needs the bald e... | [
{
"id": "triple1",
"text": "The bald eagle chases the cow.",
"subject": "bald eagle",
"relation": "chases",
"object": "cow",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bald eagle chases the mouse.",
"subject": "bald eagle",
"relation": "chases",
"object": "mou... | [
{
"id": "rule1",
"text": "If the mouse is red then the mouse needs the cow.",
"premises": [
{
"subject": "mouse",
"relation": "is",
"object": "red",
"polarity": "+"
}
],
"conclusion": {
"subject": "mouse",
"relation": "needs",
"object... | [
{
"id": "Q1",
"text": "The cow needs the bald eagle.",
"query": {
"subject": "cow",
"relation": "needs",
"object": "bald eagle",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple9)]",
"proof_graph": [
... |
AttNeg-CWA-D0-3879 | 0 | AttNeg | Bob is white. Erin is round. Fiona is round. All nice people are red. If someone is nice then they are round. If someone is round and white then they are furry. If someone is red then they are furry. Cold, furry people are rough. Round people are rough. | [
{
"id": "triple1",
"text": "Bob is white.",
"subject": "Bob",
"relation": "is",
"object": "white",
"polarity": "+"
},
{
"id": "triple2",
"text": "Erin is round.",
"subject": "Erin",
"relation": "is",
"object": "round",
"polarity": "+"
},
{
"id": "triple3",... | [
{
"id": "rule1",
"text": "All nice people are red.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "nice",
"polarity": "+"
}
],
"conclusion": {
"subject": "someone",
"relation": "is",
"object": "red",
"polari... | [
{
"id": "Q1",
"text": "Bob is white.",
"query": {
"subject": "Bob",
"relation": "is",
"object": "white",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{
"tree": "... |
AttNeg-CWA-D0-171 | 0 | AttNeg | Harry is blue. Harry is red. Harry is young. Smart people are cold. All round, green people are red. Blue, young people are round. All round, cold people are blue. If someone is smart then they are blue. All round people are blue. | [
{
"id": "triple1",
"text": "Harry is blue.",
"subject": "Harry",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple2",
"text": "Harry is red.",
"subject": "Harry",
"relation": "is",
"object": "red",
"polarity": "+"
},
{
"id": "triple3",... | [
{
"id": "rule1",
"text": "Smart people are cold.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "smart",
"polarity": "+"
}
],
"conclusion": {
"subject": "someone",
"relation": "is",
"object": "cold",
"polari... | [
{
"id": "Q1",
"text": "Harry is red.",
"query": {
"subject": "Harry",
"relation": "is",
"object": "red",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"tree": "... |
AttNoneg-CWA-D0-6832 | 0 | AttNoneg | Bob is quiet. Harry is red. Quiet things are furry. | [
{
"id": "triple1",
"text": "Bob is quiet.",
"subject": "Bob",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
{
"id": "triple2",
"text": "Harry is red.",
"subject": "Harry",
"relation": "is",
"object": "red",
"polarity": "+"
}
] | [
{
"id": "rule1",
"text": "Quiet things are furry.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "quiet",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "is",
"object": "furry",
"... | [
{
"id": "Q1",
"text": "Bob is quiet.",
"query": {
"subject": "Bob",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{
"tree": "... |
AttNeg-CWA-D0-3698 | 0 | AttNeg | Anne is kind. Gary is cold. If Gary is smart then Gary is rough. If something is rough and young then it is nice. | [
{
"id": "triple1",
"text": "Anne is kind.",
"subject": "Anne",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"id": "triple2",
"text": "Gary is cold.",
"subject": "Gary",
"relation": "is",
"object": "cold",
"polarity": "+"
}
] | [
{
"id": "rule1",
"text": "If Gary is smart then Gary is rough.",
"premises": [
{
"subject": "Gary",
"relation": "is",
"object": "smart",
"polarity": "+"
}
],
"conclusion": {
"subject": "Gary",
"relation": "is",
"object": "rough",
... | [
{
"id": "Q1",
"text": "Anne is kind.",
"query": {
"subject": "Anne",
"relation": "is",
"object": "kind",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{
"tree": "... |
AttNeg-CWA-D0-439 | 0 | AttNeg | Gary is kind. Gary is quiet. Gary is red. If Gary is kind then Gary is smart. Green things are blue. Smart, blue things are quiet. All blue, smart things are quiet. If Gary is blue then Gary is big. If something is kind then it is smart. If something is green and not blue then it is big. If Gary is not smart then Gary ... | [
{
"id": "triple1",
"text": "Gary is kind.",
"subject": "Gary",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"id": "triple2",
"text": "Gary is quiet.",
"subject": "Gary",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
{
"id": "triple3",... | [
{
"id": "rule1",
"text": "If Gary is kind then Gary is smart.",
"premises": [
{
"subject": "Gary",
"relation": "is",
"object": "kind",
"polarity": "+"
}
],
"conclusion": {
"subject": "Gary",
"relation": "is",
"object": "smart",
... | [
{
"id": "Q1",
"text": "Gary is kind.",
"query": {
"subject": "Gary",
"relation": "is",
"object": "kind",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{
"tree": "... |
RelNeg-CWA-D0-2126 | 0 | RelNeg | The bald eagle is big. The bald eagle is blue. The bald eagle is nice. The bald eagle is red. The bald eagle is round. Round, nice things are red. If something is big then it is red. If something is nice and not big then it is red. If something is red and blue then it is nice. All big, blue things are round. If the bal... | [
{
"id": "triple1",
"text": "The bald eagle is big.",
"subject": "bald eagle",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bald eagle is blue.",
"subject": "bald eagle",
"relation": "is",
"object": "blue",
"polarity": "+"
... | [
{
"id": "rule1",
"text": "Round, nice things are red.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "round",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object": "nice",
"polarit... | [
{
"id": "Q1",
"text": "The bald eagle is round.",
"query": {
"subject": "bald eagle",
"relation": "is",
"object": "round",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple5 OR ((triple1 triple2) -> rule5))... |
RelNoneg-CWA-D0-1200 | 0 | RelNoneg | The cat likes the squirrel. The cat sees the rabbit. The dog chases the cat. The dog sees the rabbit. The rabbit sees the dog. The squirrel chases the rabbit. The squirrel is round. If the dog is round and the dog is big then the dog is blue. If someone chases the rabbit and they chase the squirrel then they chase the ... | [
{
"id": "triple1",
"text": "The cat likes the squirrel.",
"subject": "cat",
"relation": "likes",
"object": "squirrel",
"polarity": "+"
},
{
"id": "triple2",
"text": "The cat sees the rabbit.",
"subject": "cat",
"relation": "sees",
"object": "rabbit",
"polarity": "... | [
{
"id": "rule1",
"text": "If the dog is round and the dog is big then the dog is blue.",
"premises": [
{
"subject": "dog",
"relation": "is",
"object": "round",
"polarity": "+"
},
{
"subject": "dog",
"relation": "is",
"object": "bi... | [
{
"id": "Q1",
"text": "The dog sees the rabbit.",
"query": {
"subject": "dog",
"relation": "sees",
"object": "rabbit",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4)]",
"proof_graph": [
{
... |
RelNeg-CWA-D0-4785 | 0 | RelNeg | The bald eagle eats the squirrel. The bald eagle likes the tiger. The bald eagle needs the tiger. The squirrel eats the bald eagle. The squirrel is cold. The squirrel is nice. The squirrel is round. The squirrel needs the bald eagle. The tiger eats the squirrel. The tiger is nice. The tiger is round. The tiger likes th... | [
{
"id": "triple1",
"text": "The bald eagle eats the squirrel.",
"subject": "bald eagle",
"relation": "eats",
"object": "squirrel",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bald eagle likes the tiger.",
"subject": "bald eagle",
"relation": "likes",
"object": ... | [
{
"id": "rule1",
"text": "If something eats the bald eagle and it likes the squirrel then the bald eagle eats the squirrel.",
"premises": [
{
"subject": "something",
"relation": "eats",
"object": "bald eagle",
"polarity": "+"
},
{
"subject": "som... | [
{
"id": "Q1",
"text": "The tiger is round.",
"query": {
"subject": "tiger",
"relation": "is",
"object": "round",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple11)]",
"proof_graph": [
{
... |
AttNoneg-CWA-D0-861 | 0 | AttNoneg | Dave is big. Dave is green. Dave is kind. Dave is rough. Dave is round. Dave is smart. Dave is white. All big people are green. Rough, round people are big. If Dave is green and Dave is round then Dave is smart. If Dave is rough then Dave is big. If Dave is rough then Dave is big. Green, rough people are round. | [
{
"id": "triple1",
"text": "Dave is big.",
"subject": "Dave",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Dave is green.",
"subject": "Dave",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "All big people are green.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "big",
"polarity": "+"
}
],
"conclusion": {
"subject": "someone",
"relation": "is",
"object": "green",
"pola... | [
{
"id": "Q1",
"text": "Dave is kind.",
"query": {
"subject": "Dave",
"relation": "is",
"object": "kind",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple3)]",
"proof_graph": [
{
"tree": "... |
AttNeg-CWA-D0-45 | 0 | AttNeg | Gary is quiet. Gary is red. Gary is rough. Gary is round. Harry is kind. Harry is quiet. Harry is red. If someone is cold then they are quiet. If Harry is kind then Harry is green. Cold, round people are rough. If someone is cold and quiet then they are round. If someone is quiet and kind then they are red. All kind pe... | [
{
"id": "triple1",
"text": "Gary is quiet.",
"subject": "Gary",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
{
"id": "triple2",
"text": "Gary is red.",
"subject": "Gary",
"relation": "is",
"object": "red",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "If someone is cold then they are quiet.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "cold",
"polarity": "+"
}
],
"conclusion": {
"subject": "someone",
"relation": "is",
"object": "quie... | [
{
"id": "Q1",
"text": "Gary is red.",
"query": {
"subject": "Gary",
"relation": "is",
"object": "red",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"tree": "tr... |
AttNeg-CWA-D0-778 | 0 | AttNeg | Harry is big. Harry is green. Harry is quiet. Harry is red. Harry is rough. Harry is round. Harry is white. If something is rough and green then it is white. If Harry is round then Harry is big. | [
{
"id": "triple1",
"text": "Harry is big.",
"subject": "Harry",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Harry is green.",
"subject": "Harry",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"id": "triple3... | [
{
"id": "rule1",
"text": "If something is rough and green then it is white.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "rough",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object": "g... | [
{
"id": "Q1",
"text": "Harry is round.",
"query": {
"subject": "Harry",
"relation": "is",
"object": "round",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple6)]",
"proof_graph": [
{
"tree... |
AttNeg-CWA-D0-411 | 0 | AttNeg | Harry is blue. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is white. Harry is young. All young, quiet people are blue. If someone is white then they are quiet. | [
{
"id": "triple1",
"text": "Harry is blue.",
"subject": "Harry",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple2",
"text": "Harry is furry.",
"subject": "Harry",
"relation": "is",
"object": "furry",
"polarity": "+"
},
{
"id": "tripl... | [
{
"id": "rule1",
"text": "All young, quiet people are blue.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "young",
"polarity": "+"
},
{
"subject": "someone",
"relation": "is",
"object": "quiet",
"pola... | [
{
"id": "Q1",
"text": "Harry is quiet.",
"query": {
"subject": "Harry",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4 OR ((triple6) -> rule2))]",
"proof_graph":... |
AttNoneg-CWA-D0-1313 | 0 | AttNoneg | Bob is furry. Bob is round. Fiona is cold. Fiona is round. Fiona is white. Harry is cold. Harry is furry. If Bob is white then Bob is cold. | [
{
"id": "triple1",
"text": "Bob is furry.",
"subject": "Bob",
"relation": "is",
"object": "furry",
"polarity": "+"
},
{
"id": "triple2",
"text": "Bob is round.",
"subject": "Bob",
"relation": "is",
"object": "round",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "If Bob is white then Bob is cold.",
"premises": [
{
"subject": "Bob",
"relation": "is",
"object": "white",
"polarity": "+"
}
],
"conclusion": {
"subject": "Bob",
"relation": "is",
"object": "cold",
"pol... | [
{
"id": "Q1",
"text": "Bob is round.",
"query": {
"subject": "Bob",
"relation": "is",
"object": "round",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"tree": "... |
RelNoneg-CWA-D0-3910 | 0 | RelNoneg | The bald eagle chases the mouse. The bald eagle is green. The bald eagle is kind. The bald eagle is young. The bald eagle needs the mouse. The bald eagle sees the mouse. The mouse chases the bald eagle. The mouse is young. The mouse needs the bald eagle. The mouse sees the bald eagle. If something is young then it sees... | [
{
"id": "triple1",
"text": "The bald eagle chases the mouse.",
"subject": "bald eagle",
"relation": "chases",
"object": "mouse",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bald eagle is green.",
"subject": "bald eagle",
"relation": "is",
"object": "green",
... | [
{
"id": "rule1",
"text": "If something is young then it sees the bald eagle.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "young",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "sees",
... | [
{
"id": "Q1",
"text": "The bald eagle sees the mouse.",
"query": {
"subject": "bald eagle",
"relation": "sees",
"object": "mouse",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple6 OR ((triple7 triple3) ->... |
AttNoneg-CWA-D0-4733 | 0 | AttNoneg | Anne is green. Erin is white. Harry is white. All rough, round things are cold. If something is cold and round then it is white. Round, green things are cold. If something is cold and round then it is white. If something is round and rough then it is green. If Anne is cold then Anne is green. Green things are kind. Rou... | [
{
"id": "triple1",
"text": "Anne is green.",
"subject": "Anne",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"id": "triple2",
"text": "Erin is white.",
"subject": "Erin",
"relation": "is",
"object": "white",
"polarity": "+"
},
{
"id": "triple3... | [
{
"id": "rule1",
"text": "All rough, round things are cold.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "rough",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object": "round",
"... | [
{
"id": "Q1",
"text": "Erin is white.",
"query": {
"subject": "Erin",
"relation": "is",
"object": "white",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"tree":... |
RelNeg-CWA-D0-4796 | 0 | RelNeg | The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle is red. If something is nice then it is red. Green things are red. All green, nice things are blue. If the bald eagle is nice then the bald eagle is green. All red, blue things are green. If something is red ... | [
{
"id": "triple1",
"text": "The bald eagle is blue.",
"subject": "bald eagle",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bald eagle is cold.",
"subject": "bald eagle",
"relation": "is",
"object": "cold",
"polarity": "+"... | [
{
"id": "rule1",
"text": "If something is nice then it is red.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "nice",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "is",
"object": "red... | [
{
"id": "Q1",
"text": "The bald eagle is nice.",
"query": {
"subject": "bald eagle",
"relation": "is",
"object": "nice",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4)]",
"proof_graph": [
{
... |
AttNoneg-CWA-D0-3480 | 0 | AttNoneg | Anne is big. Anne is blue. Anne is cold. Anne is red. Anne is young. Charlie is big. Charlie is red. Charlie is rough. Charlie is young. Fiona is green. Fiona is red. Fiona is young. If Charlie is rough then Charlie is red. Cold, young people are blue. All green, rough people are big. Red, rough people are cold. If som... | [
{
"id": "triple1",
"text": "Anne is big.",
"subject": "Anne",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Anne is blue.",
"subject": "Anne",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "If Charlie is rough then Charlie is red.",
"premises": [
{
"subject": "Charlie",
"relation": "is",
"object": "rough",
"polarity": "+"
}
],
"conclusion": {
"subject": "Charlie",
"relation": "is",
"object": "re... | [
{
"id": "Q1",
"text": "Charlie is big.",
"query": {
"subject": "Charlie",
"relation": "is",
"object": "big",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple6 OR ((((((triple7 triple8) -> rule4)) -> rule6)... |
RelNoneg-CWA-D0-1249 | 0 | RelNoneg | The bald eagle needs the tiger. The bald eagle sees the bear. The bear is young. The bear sees the tiger. The tiger eats the bear. The tiger is green. The tiger needs the bald eagle. If something needs the tiger then the tiger is green. | [
{
"id": "triple1",
"text": "The bald eagle needs the tiger.",
"subject": "bald eagle",
"relation": "needs",
"object": "tiger",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bald eagle sees the bear.",
"subject": "bald eagle",
"relation": "sees",
"object": "bear",... | [
{
"id": "rule1",
"text": "If something needs the tiger then the tiger is green.",
"premises": [
{
"subject": "something",
"relation": "needs",
"object": "tiger",
"polarity": "+"
}
],
"conclusion": {
"subject": "tiger",
"relation": "is",
... | [
{
"id": "Q1",
"text": "The tiger needs the bald eagle.",
"query": {
"subject": "tiger",
"relation": "needs",
"object": "bald eagle",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple7)]",
"proof_graph":... |
RelNoneg-CWA-D0-414 | 0 | RelNoneg | The bald eagle chases the tiger. The bald eagle is cold. The bald eagle needs the tiger. The cow chases the tiger. The cow is red. The cow likes the bald eagle. The tiger likes the bald eagle. If the tiger is cold then the tiger chases the cow. If the tiger needs the bald eagle and the tiger likes the cow then the tige... | [
{
"id": "triple1",
"text": "The bald eagle chases the tiger.",
"subject": "bald eagle",
"relation": "chases",
"object": "tiger",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bald eagle is cold.",
"subject": "bald eagle",
"relation": "is",
"object": "cold",
"... | [
{
"id": "rule1",
"text": "If the tiger is cold then the tiger chases the cow.",
"premises": [
{
"subject": "tiger",
"relation": "is",
"object": "cold",
"polarity": "+"
}
],
"conclusion": {
"subject": "tiger",
"relation": "chases",
"ob... | [
{
"id": "Q1",
"text": "The tiger likes the bald eagle.",
"query": {
"subject": "tiger",
"relation": "likes",
"object": "bald eagle",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple7)]",
"proof_graph":... |
RelNoneg-CWA-D0-4017 | 0 | RelNoneg | The cow needs the dog. The dog likes the cow. The mouse eats the cow. If something eats the cow and it needs the dog then the cow needs the mouse. If something is kind and it needs the mouse then the mouse likes the dog. If something likes the mouse and it eats the mouse then the mouse needs the dog. If something likes... | [
{
"id": "triple1",
"text": "The cow needs the dog.",
"subject": "cow",
"relation": "needs",
"object": "dog",
"polarity": "+"
},
{
"id": "triple2",
"text": "The dog likes the cow.",
"subject": "dog",
"relation": "likes",
"object": "cow",
"polarity": "+"
},
{
... | [
{
"id": "rule1",
"text": "If something eats the cow and it needs the dog then the cow needs the mouse.",
"premises": [
{
"subject": "something",
"relation": "eats",
"object": "cow",
"polarity": "+"
},
{
"subject": "something",
"relation":... | [
{
"id": "Q1",
"text": "The dog likes the cow.",
"query": {
"subject": "dog",
"relation": "likes",
"object": "cow",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
... |
RelNoneg-CWA-D0-353 | 0 | RelNoneg | The bald eagle eats the rabbit. The cat needs the rabbit. The rabbit sees the cat. If something sees the rabbit then the rabbit is red. | [
{
"id": "triple1",
"text": "The bald eagle eats the rabbit.",
"subject": "bald eagle",
"relation": "eats",
"object": "rabbit",
"polarity": "+"
},
{
"id": "triple2",
"text": "The cat needs the rabbit.",
"subject": "cat",
"relation": "needs",
"object": "rabbit",
"po... | [
{
"id": "rule1",
"text": "If something sees the rabbit then the rabbit is red.",
"premises": [
{
"subject": "something",
"relation": "sees",
"object": "rabbit",
"polarity": "+"
}
],
"conclusion": {
"subject": "rabbit",
"relation": "is",
... | [
{
"id": "Q1",
"text": "The bald eagle eats the rabbit.",
"query": {
"subject": "bald eagle",
"relation": "eats",
"object": "rabbit",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph":... |
AttNeg-CWA-D0-444 | 0 | AttNeg | Anne is cold. Anne is round. Anne is smart. Anne is white. Anne is young. Bob is furry. Bob is round. Dave is furry. Dave is rough. Dave is round. Dave is smart. Dave is young. Fiona is cold. Fiona is round. Fiona is white. Fiona is young. If something is rough and not round then it is cold. All cold, white things are ... | [
{
"id": "triple1",
"text": "Anne is cold.",
"subject": "Anne",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
"id": "triple2",
"text": "Anne is round.",
"subject": "Anne",
"relation": "is",
"object": "round",
"polarity": "+"
},
{
"id": "triple3",... | [
{
"id": "rule1",
"text": "If something is rough and not round then it is cold.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "rough",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object":... | [
{
"id": "Q1",
"text": "Anne is young.",
"query": {
"subject": "Anne",
"relation": "is",
"object": "young",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple5)]",
"proof_graph": [
{
"tree":... |
AttNoneg-CWA-D0-96 | 0 | AttNoneg | Harry is big. If someone is quiet then they are green. If someone is smart then they are big. If someone is smart then they are kind. All green, kind people are quiet. All kind, rough people are blue. All blue people are green. All big, rough people are green. If Harry is rough and Harry is quiet then Harry is kind. | [
{
"id": "triple1",
"text": "Harry is big.",
"subject": "Harry",
"relation": "is",
"object": "big",
"polarity": "+"
}
] | [
{
"id": "rule1",
"text": "If someone is quiet then they are green.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "quiet",
"polarity": "+"
}
],
"conclusion": {
"subject": "someone",
"relation": "is",
"object": "gr... | [
{
"id": "Q1",
"text": "Harry is big.",
"query": {
"subject": "Harry",
"relation": "is",
"object": "big",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{
"tree": "... |
AttNoneg-CWA-D0-6930 | 0 | AttNoneg | Anne is red. Anne is rough. Bob is kind. Bob is smart. Charlie is furry. Charlie is smart. Fiona is rough. Nice things are red. If something is furry and nice then it is red. If something is kind and furry then it is smart. Nice things are smart. All furry, nice things are rough. All rough things are furry. If somethin... | [
{
"id": "triple1",
"text": "Anne is red.",
"subject": "Anne",
"relation": "is",
"object": "red",
"polarity": "+"
},
{
"id": "triple2",
"text": "Anne is rough.",
"subject": "Anne",
"relation": "is",
"object": "rough",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "Nice things are red.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "nice",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "is",
"object": "red",
"polari... | [
{
"id": "Q1",
"text": "Anne is rough.",
"query": {
"subject": "Anne",
"relation": "is",
"object": "rough",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"tree":... |
RelNeg-CWA-D0-3235 | 0 | RelNeg | The bear is kind. The cow chases the bear. The lion eats the squirrel. The squirrel is kind. If the cow is big and the cow is rough then the cow eats the squirrel. If someone is big then they need the lion. If someone is big and not kind then they need the squirrel. If the lion is blue then the lion eats the squirrel. ... | [
{
"id": "triple1",
"text": "The bear is kind.",
"subject": "bear",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"id": "triple2",
"text": "The cow chases the bear.",
"subject": "cow",
"relation": "chases",
"object": "bear",
"polarity": "+"
},
{
... | [
{
"id": "rule1",
"text": "If the cow is big and the cow is rough then the cow eats the squirrel.",
"premises": [
{
"subject": "cow",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"subject": "cow",
"relation": "is",
"obje... | [
{
"id": "Q1",
"text": "The squirrel is kind.",
"query": {
"subject": "squirrel",
"relation": "is",
"object": "kind",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4)]",
"proof_graph": [
{
... |
RelNeg-CWA-D0-1409 | 0 | RelNeg | The cat eats the mouse. The cat is blue. The cat likes the mouse. The cat visits the mouse. The mouse eats the cat. The mouse is blue. The mouse is nice. The mouse is round. The mouse is young. The mouse visits the cat. If the mouse is cold then the mouse visits the cat. If something eats the mouse then it likes the ca... | [
{
"id": "triple1",
"text": "The cat eats the mouse.",
"subject": "cat",
"relation": "eats",
"object": "mouse",
"polarity": "+"
},
{
"id": "triple2",
"text": "The cat is blue.",
"subject": "cat",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id"... | [
{
"id": "rule1",
"text": "If the mouse is cold then the mouse visits the cat.",
"premises": [
{
"subject": "mouse",
"relation": "is",
"object": "cold",
"polarity": "+"
}
],
"conclusion": {
"subject": "mouse",
"relation": "visits",
"ob... | [
{
"id": "Q1",
"text": "The cat likes the mouse.",
"query": {
"subject": "cat",
"relation": "likes",
"object": "mouse",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple3)]",
"proof_graph": [
{
... |
AttNeg-CWA-D0-3653 | 0 | AttNeg | Anne is big. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Dave is green. Dave is quiet. Fiona is smart. Harry is big. Harry is quiet. Harry is red. Harry is rough. Harry is smart. If Dave is rough then Dave is smart. Smart people are red. If someone is big and not rough then th... | [
{
"id": "triple1",
"text": "Anne is big.",
"subject": "Anne",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Anne is green.",
"subject": "Anne",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "If Dave is rough then Dave is smart.",
"premises": [
{
"subject": "Dave",
"relation": "is",
"object": "rough",
"polarity": "+"
}
],
"conclusion": {
"subject": "Dave",
"relation": "is",
"object": "smart",
... | [
{
"id": "Q1",
"text": "Anne is green.",
"query": {
"subject": "Anne",
"relation": "is",
"object": "green",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"tree":... |
AttNeg-CWA-D0-1317 | 0 | AttNeg | Charlie is round. Quiet people are round. If Charlie is not round then Charlie is kind. All round people are red. Nice people are red. If someone is kind then they are red. If someone is quiet and round then they are furry. If someone is red and not round then they are furry. If Charlie is not kind then Charlie is red. | [
{
"id": "triple1",
"text": "Charlie is round.",
"subject": "Charlie",
"relation": "is",
"object": "round",
"polarity": "+"
}
] | [
{
"id": "rule1",
"text": "Quiet people are round.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "quiet",
"polarity": "+"
}
],
"conclusion": {
"subject": "someone",
"relation": "is",
"object": "round",
"pola... | [
{
"id": "Q1",
"text": "Charlie is round.",
"query": {
"subject": "Charlie",
"relation": "is",
"object": "round",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{
"... |
AttNeg-CWA-D0-972 | 0 | AttNeg | Harry is cold. Harry is kind. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is white. Rough, white people are quiet. | [
{
"id": "triple1",
"text": "Harry is cold.",
"subject": "Harry",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
"id": "triple2",
"text": "Harry is kind.",
"subject": "Harry",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"id": "triple3... | [
{
"id": "rule1",
"text": "Rough, white people are quiet.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "rough",
"polarity": "+"
},
{
"subject": "someone",
"relation": "is",
"object": "white",
"polarit... | [
{
"id": "Q1",
"text": "Harry is quiet.",
"query": {
"subject": "Harry",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple3 OR ((triple4 triple7) -> rule1))]",
"proof... |
RelNoneg-CWA-D0-4294 | 0 | RelNoneg | The mouse chases the rabbit. The mouse is big. The mouse is green. The mouse is nice. The mouse is red. The mouse is round. The mouse likes the rabbit. The mouse sees the rabbit. The rabbit chases the mouse. The rabbit is big. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit l... | [
{
"id": "triple1",
"text": "The mouse chases the rabbit.",
"subject": "mouse",
"relation": "chases",
"object": "rabbit",
"polarity": "+"
},
{
"id": "triple2",
"text": "The mouse is big.",
"subject": "mouse",
"relation": "is",
"object": "big",
"polarity": "+"
},
... | [
{
"id": "rule1",
"text": "If something chases the mouse and it chases the rabbit then it sees the rabbit.",
"premises": [
{
"subject": "something",
"relation": "chases",
"object": "mouse",
"polarity": "+"
},
{
"subject": "something",
"rel... | [
{
"id": "Q1",
"text": "The mouse is nice.",
"query": {
"subject": "mouse",
"relation": "is",
"object": "nice",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4)]",
"proof_graph": [
{
"tr... |
AttNoneg-CWA-D0-2063 | 0 | AttNoneg | Charlie is big. Charlie is kind. Charlie is young. Dave is kind. Dave is red. Fiona is furry. Fiona is kind. Fiona is young. Gary is blue. Gary is kind. Gary is round. Gary is young. All young, blue things are kind. Blue, young things are red. If something is kind then it is red. | [
{
"id": "triple1",
"text": "Charlie is big.",
"subject": "Charlie",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Charlie is kind.",
"subject": "Charlie",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"id": "t... | [
{
"id": "rule1",
"text": "All young, blue things are kind.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "young",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object": "blue",
"po... | [
{
"id": "Q1",
"text": "Dave is kind.",
"query": {
"subject": "Dave",
"relation": "is",
"object": "kind",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4)]",
"proof_graph": [
{
"tree": "... |
AttNoneg-CWA-D0-7155 | 0 | AttNoneg | Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is white. Fiona is young. If something is rough and quiet then it is cold. White things are quiet. | [
{
"id": "triple1",
"text": "Fiona is cold.",
"subject": "Fiona",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
"id": "triple2",
"text": "Fiona is furry.",
"subject": "Fiona",
"relation": "is",
"object": "furry",
"polarity": "+"
},
{
"id": "tripl... | [
{
"id": "rule1",
"text": "If something is rough and quiet then it is cold.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "rough",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object": "qu... | [
{
"id": "Q1",
"text": "Fiona is quiet.",
"query": {
"subject": "Fiona",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4 OR ((triple6) -> rule2))]",
"proof_graph":... |
RelNoneg-CWA-D0-1500 | 0 | RelNoneg | The cat eats the lion. The cat is young. The cat needs the squirrel. The lion eats the cat. The lion eats the squirrel. The lion is red. The lion needs the squirrel. The lion visits the squirrel. The squirrel eats the lion. The squirrel is blue. The squirrel visits the cat. The squirrel visits the lion. If the squirrel... | [
{
"id": "triple1",
"text": "The cat eats the lion.",
"subject": "cat",
"relation": "eats",
"object": "lion",
"polarity": "+"
},
{
"id": "triple2",
"text": "The cat is young.",
"subject": "cat",
"relation": "is",
"object": "young",
"polarity": "+"
},
{
"id"... | [
{
"id": "rule1",
"text": "If the squirrel is blue and the squirrel needs the lion then the lion is green.",
"premises": [
{
"subject": "squirrel",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"subject": "squirrel",
"relation":... | [
{
"id": "Q1",
"text": "The lion eats the cat.",
"query": {
"subject": "lion",
"relation": "eats",
"object": "cat",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4)]",
"proof_graph": [
{
... |
RelNeg-CWA-D0-1939 | 0 | RelNeg | The bald eagle is green. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle is young. Red, nice things are green. If the bald eagle is nice and the bald eagle is not young then the bald eagle is green. If the bald eagle is red and the bald eagle is rough then the bald eagle is green. | [
{
"id": "triple1",
"text": "The bald eagle is green.",
"subject": "bald eagle",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bald eagle is nice.",
"subject": "bald eagle",
"relation": "is",
"object": "nice",
"polarity": "... | [
{
"id": "rule1",
"text": "Red, nice things are green.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "red",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object": "nice",
"polarity"... | [
{
"id": "Q1",
"text": "The bald eagle is rough.",
"query": {
"subject": "bald eagle",
"relation": "is",
"object": "rough",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4)]",
"proof_graph": [
{... |
RelNoneg-CWA-D0-1361 | 0 | RelNoneg | The cat needs the dog. The cat needs the tiger. The cat sees the dog. The cat sees the tiger. The dog likes the cat. The dog needs the tiger. The tiger needs the cat. If someone sees the cat and the cat needs the tiger then the cat is round. If someone needs the dog and they are young then they are green. If someone is... | [
{
"id": "triple1",
"text": "The cat needs the dog.",
"subject": "cat",
"relation": "needs",
"object": "dog",
"polarity": "+"
},
{
"id": "triple2",
"text": "The cat needs the tiger.",
"subject": "cat",
"relation": "needs",
"object": "tiger",
"polarity": "+"
},
... | [
{
"id": "rule1",
"text": "If someone sees the cat and the cat needs the tiger then the cat is round.",
"premises": [
{
"subject": "someone",
"relation": "sees",
"object": "cat",
"polarity": "+"
},
{
"subject": "cat",
"relation": "needs",
... | [
{
"id": "Q1",
"text": "The dog needs the tiger.",
"query": {
"subject": "dog",
"relation": "needs",
"object": "tiger",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple6)]",
"proof_graph": [
{
... |
RelNoneg-CWA-D0-5990 | 0 | RelNoneg | The cat eats the squirrel. The cow eats the cat. The squirrel is rough. The tiger is red. If the tiger is cold and the tiger visits the cow then the tiger is green. If the cat needs the tiger and the tiger needs the squirrel then the cat needs the cow. | [
{
"id": "triple1",
"text": "The cat eats the squirrel.",
"subject": "cat",
"relation": "eats",
"object": "squirrel",
"polarity": "+"
},
{
"id": "triple2",
"text": "The cow eats the cat.",
"subject": "cow",
"relation": "eats",
"object": "cat",
"polarity": "+"
},
... | [
{
"id": "rule1",
"text": "If the tiger is cold and the tiger visits the cow then the tiger is green.",
"premises": [
{
"subject": "tiger",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
"subject": "tiger",
"relation": "visits",
... | [
{
"id": "Q1",
"text": "The cat eats the squirrel.",
"query": {
"subject": "cat",
"relation": "eats",
"object": "squirrel",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{... |
RelNeg-CWA-D0-2408 | 0 | RelNeg | The lion eats the mouse. The lion is big. The lion is green. The lion is kind. The lion is round. The lion is young. The lion needs the mouse. The lion visits the mouse. The mouse eats the lion. The mouse is big. The mouse is green. The mouse is kind. The mouse is round. The mouse needs the lion. The mouse visits the l... | [
{
"id": "triple1",
"text": "The lion eats the mouse.",
"subject": "lion",
"relation": "eats",
"object": "mouse",
"polarity": "+"
},
{
"id": "triple2",
"text": "The lion is big.",
"subject": "lion",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"i... | [
{
"id": "rule1",
"text": "If something visits the mouse then it visits the lion.",
"premises": [
{
"subject": "something",
"relation": "visits",
"object": "mouse",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "vi... | [
{
"id": "Q1",
"text": "The mouse is kind.",
"query": {
"subject": "mouse",
"relation": "is",
"object": "kind",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple12)]",
"proof_graph": [
{
"t... |
RelNeg-CWA-D0-3166 | 0 | RelNeg | The bear eats the mouse. The bear is rough. The bear is young. The bear visits the mouse. The mouse is big. The mouse is cold. The mouse likes the bear. The mouse visits the tiger. The tiger eats the bear. The tiger likes the mouse. If the mouse is cold and the mouse does not eat the tiger then the mouse eats the bear.... | [
{
"id": "triple1",
"text": "The bear eats the mouse.",
"subject": "bear",
"relation": "eats",
"object": "mouse",
"polarity": "+"
},
{
"id": "triple2",
"text": "The bear is rough.",
"subject": "bear",
"relation": "is",
"object": "rough",
"polarity": "+"
},
{
... | [
{
"id": "rule1",
"text": "If the mouse is cold and the mouse does not eat the tiger then the mouse eats the bear.",
"premises": [
{
"subject": "mouse",
"relation": "is",
"object": "cold",
"polarity": "+"
},
{
"subject": "mouse",
"relation... | [
{
"id": "Q1",
"text": "The tiger eats the bear.",
"query": {
"subject": "tiger",
"relation": "eats",
"object": "bear",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple9)]",
"proof_graph": [
{
... |
AttNoneg-CWA-D0-3577 | 0 | AttNoneg | Fiona is big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is smart. Fiona is white. If Fiona is nice then Fiona is smart. All blue, smart people are furry. | [
{
"id": "triple1",
"text": "Fiona is big.",
"subject": "Fiona",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Fiona is blue.",
"subject": "Fiona",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple3",... | [
{
"id": "rule1",
"text": "If Fiona is nice then Fiona is smart.",
"premises": [
{
"subject": "Fiona",
"relation": "is",
"object": "nice",
"polarity": "+"
}
],
"conclusion": {
"subject": "Fiona",
"relation": "is",
"object": "smart",
... | [
{
"id": "Q1",
"text": "Fiona is blue.",
"query": {
"subject": "Fiona",
"relation": "is",
"object": "blue",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"tree":... |
AttNoneg-CWA-D0-4349 | 0 | AttNoneg | Gary is blue. Gary is kind. Gary is nice. Blue things are kind. | [
{
"id": "triple1",
"text": "Gary is blue.",
"subject": "Gary",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple2",
"text": "Gary is kind.",
"subject": "Gary",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "Blue things are kind.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "blue",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "is",
"object": "kind",
"pola... | [
{
"id": "Q1",
"text": "Gary is blue.",
"query": {
"subject": "Gary",
"relation": "is",
"object": "blue",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{
"tree": "... |
AttNeg-CWA-D0-1564 | 0 | AttNeg | Anne is big. Bob is kind. Charlie is rough. Dave is big. If someone is blue then they are round. If someone is white then they are rough. If someone is quiet and not white then they are kind. If Anne is white and Anne is kind then Anne is round. If someone is round then they are blue. If Charlie is not blue and Charlie... | [
{
"id": "triple1",
"text": "Anne is big.",
"subject": "Anne",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Bob is kind.",
"subject": "Bob",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"id": "triple3",
"... | [
{
"id": "rule1",
"text": "If someone is blue then they are round.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "blue",
"polarity": "+"
}
],
"conclusion": {
"subject": "someone",
"relation": "is",
"object": "roun... | [
{
"id": "Q1",
"text": "Anne is big.",
"query": {
"subject": "Anne",
"relation": "is",
"object": "big",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{
"tree": "tr... |
RelNeg-CWA-D0-1382 | 0 | RelNeg | The cat is green. The dog eats the mouse. The mouse is green. The rabbit is rough. If something eats the mouse then the mouse sees the cat. | [
{
"id": "triple1",
"text": "The cat is green.",
"subject": "cat",
"relation": "is",
"object": "green",
"polarity": "+"
},
{
"id": "triple2",
"text": "The dog eats the mouse.",
"subject": "dog",
"relation": "eats",
"object": "mouse",
"polarity": "+"
},
{
"i... | [
{
"id": "rule1",
"text": "If something eats the mouse then the mouse sees the cat.",
"premises": [
{
"subject": "something",
"relation": "eats",
"object": "mouse",
"polarity": "+"
}
],
"conclusion": {
"subject": "mouse",
"relation": "sees",... | [
{
"id": "Q1",
"text": "The mouse is green.",
"query": {
"subject": "mouse",
"relation": "is",
"object": "green",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple3)]",
"proof_graph": [
{
"... |
AttNoneg-CWA-D0-3549 | 0 | AttNoneg | Charlie is nice. Erin is white. If something is nice then it is green. | [
{
"id": "triple1",
"text": "Charlie is nice.",
"subject": "Charlie",
"relation": "is",
"object": "nice",
"polarity": "+"
},
{
"id": "triple2",
"text": "Erin is white.",
"subject": "Erin",
"relation": "is",
"object": "white",
"polarity": "+"
}
] | [
{
"id": "rule1",
"text": "If something is nice then it is green.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "nice",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "is",
"object": "g... | [
{
"id": "Q1",
"text": "Charlie is nice.",
"query": {
"subject": "Charlie",
"relation": "is",
"object": "nice",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{
"tr... |
AttNeg-CWA-D0-6474 | 0 | AttNeg | Anne is quiet. Dave is quiet. Gary is quiet. Harry is blue. If something is nice and red then it is green. Smart things are green. All green things are nice. If Gary is not quiet then Gary is blue. All quiet, nice things are smart. If Dave is not smart and Dave is not quiet then Dave is blue. | [
{
"id": "triple1",
"text": "Anne is quiet.",
"subject": "Anne",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
{
"id": "triple2",
"text": "Dave is quiet.",
"subject": "Dave",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
{
"id": "triple3... | [
{
"id": "rule1",
"text": "If something is nice and red then it is green.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "nice",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object": "red",... | [
{
"id": "Q1",
"text": "Dave is quiet.",
"query": {
"subject": "Dave",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"tree":... |
RelNoneg-CWA-D0-168 | 0 | RelNoneg | The mouse is big. The mouse is blue. The mouse is green. The mouse is nice. The mouse is red. All nice, big things are blue. All nice things are big. If the mouse is blue then the mouse is big. If the mouse is red and the mouse is big then the mouse is blue. If the mouse is big then the mouse is blue. If something is n... | [
{
"id": "triple1",
"text": "The mouse is big.",
"subject": "mouse",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "The mouse is blue.",
"subject": "mouse",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "t... | [
{
"id": "rule1",
"text": "All nice, big things are blue.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "nice",
"polarity": "+"
},
{
"subject": "something",
"relation": "is",
"object": "big",
"polari... | [
{
"id": "Q1",
"text": "The mouse is nice.",
"query": {
"subject": "mouse",
"relation": "is",
"object": "nice",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple4)]",
"proof_graph": [
{
"tr... |
AttNeg-CWA-D0-1664 | 0 | AttNeg | Anne is big. Anne is blue. Anne is furry. Anne is kind. Anne is nice. Anne is smart. Anne is white. All furry people are white. All furry people are kind. Blue people are kind. If Anne is nice then Anne is furry. Smart, furry people are blue. If someone is kind then they are blue. All big, furry people are smart. If An... | [
{
"id": "triple1",
"text": "Anne is big.",
"subject": "Anne",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Anne is blue.",
"subject": "Anne",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "All furry people are white.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "furry",
"polarity": "+"
}
],
"conclusion": {
"subject": "someone",
"relation": "is",
"object": "white",
"... | [
{
"id": "Q1",
"text": "Anne is furry.",
"query": {
"subject": "Anne",
"relation": "is",
"object": "furry",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple3 OR ((triple5) -> rule4))]",
"proof_graph": [... |
AttNoneg-CWA-D0-38 | 0 | AttNoneg | Anne is young. Charlie is smart. Dave is smart. If someone is kind and smart then they are cold. All smart people are big. All smart people are big. All big, smart people are young. If Anne is blue and Anne is cold then Anne is smart. If Charlie is big then Charlie is white. If Dave is blue then Dave is young. All youn... | [
{
"id": "triple1",
"text": "Anne is young.",
"subject": "Anne",
"relation": "is",
"object": "young",
"polarity": "+"
},
{
"id": "triple2",
"text": "Charlie is smart.",
"subject": "Charlie",
"relation": "is",
"object": "smart",
"polarity": "+"
},
{
"id": "t... | [
{
"id": "rule1",
"text": "If someone is kind and smart then they are cold.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "kind",
"polarity": "+"
},
{
"subject": "someone",
"relation": "is",
"object": "smart",... | [
{
"id": "Q1",
"text": "Anne is young.",
"query": {
"subject": "Anne",
"relation": "is",
"object": "young",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple1)]",
"proof_graph": [
{
"tree":... |
AttNeg-CWA-D0-3440 | 0 | AttNeg | Gary is big. Gary is nice. Gary is red. Smart, young people are kind. All kind, young people are nice. | [
{
"id": "triple1",
"text": "Gary is big.",
"subject": "Gary",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Gary is nice.",
"subject": "Gary",
"relation": "is",
"object": "nice",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "Smart, young people are kind.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "smart",
"polarity": "+"
},
{
"subject": "someone",
"relation": "is",
"object": "young",
"polarity... | [
{
"id": "Q1",
"text": "Gary is nice.",
"query": {
"subject": "Gary",
"relation": "is",
"object": "nice",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"tree": "... |
AttNoneg-CWA-D0-6140 | 0 | AttNoneg | Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is rough. Erin is round. Erin is young. All big people are rough. All round, cold people are furry. Blue, furry people are rough. If someone is blue and round then they are cold. If Erin is rough then Erin is furry. Young people are furry. | [
{
"id": "triple1",
"text": "Erin is big.",
"subject": "Erin",
"relation": "is",
"object": "big",
"polarity": "+"
},
{
"id": "triple2",
"text": "Erin is blue.",
"subject": "Erin",
"relation": "is",
"object": "blue",
"polarity": "+"
},
{
"id": "triple3",
... | [
{
"id": "rule1",
"text": "All big people are rough.",
"premises": [
{
"subject": "someone",
"relation": "is",
"object": "big",
"polarity": "+"
}
],
"conclusion": {
"subject": "someone",
"relation": "is",
"object": "rough",
"pola... | [
{
"id": "Q1",
"text": "Erin is cold.",
"query": {
"subject": "Erin",
"relation": "is",
"object": "cold",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple3 OR ((triple2 triple6) -> rule4))]",
"proof_gra... |
AttNoneg-CWA-D0-2134 | 0 | AttNoneg | Bob is white. Dave is quiet. Erin is green. Big things are rough. If Bob is green then Bob is big. | [
{
"id": "triple1",
"text": "Bob is white.",
"subject": "Bob",
"relation": "is",
"object": "white",
"polarity": "+"
},
{
"id": "triple2",
"text": "Dave is quiet.",
"subject": "Dave",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
{
"id": "triple3",... | [
{
"id": "rule1",
"text": "Big things are rough.",
"premises": [
{
"subject": "something",
"relation": "is",
"object": "big",
"polarity": "+"
}
],
"conclusion": {
"subject": "something",
"relation": "is",
"object": "rough",
"pola... | [
{
"id": "Q1",
"text": "Dave is quiet.",
"query": {
"subject": "Dave",
"relation": "is",
"object": "quiet",
"polarity": "+"
},
"answer": "True",
"qdep": 0,
"qlen": 1,
"strategy": "proof",
"proofs": "[(triple2)]",
"proof_graph": [
{
"tree":... |
Subsets and Splits
No community queries yet
The top public SQL queries from the community will appear here once available.