The bear chases the tiger. The bear is big. The bear is cold. The bear is kind. The bear is red. The bear is young. The bear likes the tiger. The bear sees the tiger. The tiger chases the bear. The tiger is big. The tiger is cold. The tiger is kind. The tiger is red. The tiger is young. The tiger likes the bear. The tiger sees the bear. If something chases the tiger then the tiger likes the bear. If the tiger is kind then the tiger is big. All young things are cold. If something sees the tiger and the tiger is kind then the tiger sees the bear. If the tiger is big and the tiger likes the bear then the tiger sees the bear. If the tiger chases the bear then the bear sees the tiger. If something sees the bear then it is young. If the tiger chases the bear and the tiger is red then the bear chases the tiger.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
If something chases the tiger then the tiger likes the bear.
((("something" "chases" "tiger" "+")) -> ("tiger" "likes" "bear" "+"))
If the tiger is kind then the tiger is big.
((("tiger" "is" "kind" "+")) -> ("tiger" "is" "big" "+"))
All young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If something sees the tiger and the tiger is kind then the tiger sees the bear.
((("something" "sees" "tiger" "+") ("tiger" "is" "kind" "+")) -> ("tiger" "sees" "bear" "+"))
If the tiger is big and the tiger likes the bear then the tiger sees the bear.
((("tiger" "is" "big" "+") ("tiger" "likes" "bear" "+")) -> ("tiger" "sees" "bear" "+"))
If the tiger chases the bear then the bear sees the tiger.
((("tiger" "chases" "bear" "+")) -> ("bear" "sees" "tiger" "+"))
If something sees the bear then it is young.
((("something" "sees" "bear" "+")) -> ("something" "is" "young" "+"))
If the tiger chases the bear and the tiger is red then the bear chases the tiger.
((("tiger" "chases" "bear" "+") ("tiger" "is" "red" "+")) -> ("bear" "chases" "tiger" "+"))
The tiger sees the bear.
True
1
proof
[(triple16 OR ((triple10 triple15) -> rule5) OR ((triple8 triple12) -> rule4) OR ((triple10 ((triple1) -> rule1)) -> rule5) OR ((((triple12) -> rule2) triple15) -> rule5) OR ((((triple9) -> rule6) triple12) -> rule4) OR ((((triple12) -> rule2) ((triple1) -> rule1)) -> rule5) OR ((triple10 ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5) OR ((((triple12) -> rule2) ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5))]
("tiger" "sees" "bear" "+")
triple16
((triple10 triple15) -> (rule5 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
((triple8 triple12) -> (rule4 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
((triple10 ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
((((triple12) -> (rule2 % int2)) triple15) -> (rule5 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
((((triple9) -> (rule6 % int2)) triple12) -> (rule4 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int2
((((triple12) -> (rule2 % int3)) ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
((triple10 ((((triple9 triple13) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int3
((((triple12) -> (rule2 % int4)) ((((triple9 triple13) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The tiger is not cold.
False
1
inv-proof
[(triple11 OR ((triple14) -> rule3) OR ((((triple16) -> rule7)) -> rule3) OR ((((((triple10 triple15) -> rule5)) -> rule7)) -> rule3) OR ((((((triple8 triple12) -> rule4)) -> rule7)) -> rule3) OR ((((((triple10 ((triple1) -> rule1)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple12) -> rule2) triple15) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple9) -> rule6) triple12) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple12) -> rule2) ((triple1) -> rule1)) -> rule5)) -> rule7)) -> rule3) OR ((((((triple10 ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple12) -> rule2) ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5)) -> rule7)) -> rule3))]
("tiger" "is" "cold" "-")
triple11
((triple14) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
((((triple16) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
((((((triple10 triple15) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
((((((triple8 triple12) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
((((((triple10 ((triple1) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int4
((((((((triple12) -> (rule2 % int4)) triple15) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
((((((((triple9) -> (rule6 % int4)) triple12) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int4
((((((((triple12) -> (rule2 % int5)) ((triple1) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int4
The tiger is big.
("tiger" "is" "big" "+")
int5
((((((triple10 ((((triple9 triple13) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int4
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int5
((((((((triple12) -> (rule2 % int6)) ((((triple9 triple13) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int4
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int5
The tiger is big.
("tiger" "is" "big" "+")
int6
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bear chases the tiger.[(triple1 OR ((triple9 triple13) -> rule8))] The bear is big.[(triple2)] The bear is cold.[(triple3 OR ((triple6) -> rule3))] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6)] The bear likes the tiger.[(triple7)] The bear sees the tiger.[(triple8 OR ((triple9) -> rule6))] The tiger chases the bear.[(triple9)] The tiger is big.[(triple10 OR ((triple12) -> rule2))] The tiger is cold.[(triple11 OR ((triple14) -> rule3) OR ((((triple16) -> rule7)) -> rule3) OR ((((((triple10 triple15) -> rule5)) -> rule7)) -> rule3) OR ((((((triple8 triple12) -> rule4)) -> rule7)) -> rule3) OR ((((((triple10 ((triple1) -> rule1)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple12) -> rule2) triple15) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple9) -> rule6) triple12) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple12) -> rule2) ((triple1) -> rule1)) -> rule5)) -> rule7)) -> rule3) OR ((((((triple10 ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple12) -> rule2) ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5)) -> rule7)) -> rule3))] The tiger is kind.[(triple12)] The tiger is red.[(triple13)] The tiger is young.[(triple14 OR ((triple16) -> rule7) OR ((((triple10 triple15) -> rule5)) -> rule7) OR ((((triple8 triple12) -> rule4)) -> rule7) OR ((((triple10 ((triple1) -> rule1)) -> rule5)) -> rule7) OR ((((((triple12) -> rule2) triple15) -> rule5)) -> rule7) OR ((((((triple9) -> rule6) triple12) -> rule4)) -> rule7) OR ((((((triple12) -> rule2) ((triple1) -> rule1)) -> rule5)) -> rule7) OR ((((triple10 ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5)) -> rule7) OR ((((((triple12) -> rule2) ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5)) -> rule7))] The tiger likes the bear.[(triple15 OR ((triple1) -> rule1) OR ((((triple9 triple13) -> rule8)) -> rule1))] The tiger sees the bear.[(triple16 OR ((triple10 triple15) -> rule5) OR ((triple8 triple12) -> rule4) OR ((triple10 ((triple1) -> rule1)) -> rule5) OR ((((triple12) -> rule2) triple15) -> rule5) OR ((((triple9) -> rule6) triple12) -> rule4) OR ((((triple12) -> rule2) ((triple1) -> rule1)) -> rule5) OR ((triple10 ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5) OR ((((triple12) -> rule2) ((((triple9 triple13) -> rule8)) -> rule1)) -> rule5))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
((triple9 triple13) -> (rule8 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
((triple6) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple7
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple8
((triple9) -> (rule6 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
((triple12) -> (rule2 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
((triple14) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
((((triple16) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
((((((triple10 triple15) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
((((((triple8 triple12) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
((((((triple10 ((triple1) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int4
((((((((triple12) -> (rule2 % int4)) triple15) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
((((((((triple9) -> (rule6 % int4)) triple12) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int4
((((((((triple12) -> (rule2 % int5)) ((triple1) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int4
The tiger is big.
("tiger" "is" "big" "+")
int5
((((((triple10 ((((triple9 triple13) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int4
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int5
((((((((triple12) -> (rule2 % int6)) ((((triple9 triple13) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int4
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int5
The tiger is big.
("tiger" "is" "big" "+")
int6
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple13
The tiger is young.
("tiger" "is" "young" "+")
triple14
((triple16) -> (rule7 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
((((triple10 triple15) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
((((triple8 triple12) -> (rule4 % int2))) -> (rule7 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
((((triple10 ((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int3
((((((triple12) -> (rule2 % int3)) triple15) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
((((((triple9) -> (rule6 % int3)) triple12) -> (rule4 % int2))) -> (rule7 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int3
((((((triple12) -> (rule2 % int4)) ((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
((((triple10 ((((triple9 triple13) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int3
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int4
((((((triple12) -> (rule2 % int5)) ((((triple9 triple13) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int3
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int4
The tiger is big.
("tiger" "is" "big" "+")
int5
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple15
((triple1) -> (rule1 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
((((triple9 triple13) -> (rule8 % int2))) -> (rule1 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple16
((triple10 triple15) -> (rule5 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
((triple8 triple12) -> (rule4 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
((triple10 ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
((((triple12) -> (rule2 % int2)) triple15) -> (rule5 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
((((triple9) -> (rule6 % int2)) triple12) -> (rule4 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int2
((((triple12) -> (rule2 % int3)) ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
((triple10 ((((triple9 triple13) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int3
((((triple12) -> (rule2 % int4)) ((((triple9 triple13) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4