*1 [transformation]
IN: <(*,cat,CAT) --> REPRESENT>. %1.00;0.90% {0 : 1}
6
OUT: <cat --> (/,REPRESENT,_,CAT)>. %1.00;0.90% {6 : 1}
OUT: <CAT --> (/,REPRESENT,cat,_)>. %1.00;0.90% {6 : 1}
*2 [transformation]
IN: <(*,(*,cat,eat,fish),<(*,CAT,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {0 : 1}
7
OUT: <(*,cat,eat,fish) --> (/,REPRESENT,_,<(*,CAT,FISH) --> FOOD>)>. %1.00;0.90% {7 : 1}
OUT: <<(*,CAT,FISH) --> FOOD> --> (/,REPRESENT,(*,cat,eat,fish),_)>. %1.00;0.90% {7 : 1}
*3 [transformation]
IN: <(*,cat,eat,fish) --> (/,REPRESENT,_,<(*,CAT,FISH) --> FOOD>)>. %1.00;0.90% {0 : 1}
7
OUT: <cat --> (/,(/,REPRESENT,_,<(*,CAT,FISH) --> FOOD>),_,eat,fish)>. %1.00;0.90% {7 : 1}
OUT: <eat --> (/,(/,REPRESENT,_,<(*,CAT,FISH) --> FOOD>),cat,_,fish)>. %1.00;0.90% {7 : 1}
OUT: <fish --> (/,(/,REPRESENT,_,<(*,CAT,FISH) --> FOOD>),cat,eat,_)>. %1.00;0.90% {7 : 1}
OUT: <(*,(*,cat,eat,fish),<(*,CAT,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {7 : 1}
OUT: <<(*,CAT,FISH) --> FOOD> --> (/,REPRESENT,(*,cat,eat,fish),_)>. %1.00;0.90% {7 : 1}
*4 [induction]
IN: <cat --> (/,REPRESENT,_,CAT)>. %1.00;0.90% {0 : 1}
IN: <cat --> (/,(/,REPRESENT,_,<(*,CAT,FISH) --> FOOD>),_,eat,fish)>. %1.00;0.90% {0 : 2}
3
OUT: <cat --> (|,(/,REPRESENT,_,CAT),(/,(/,REPRESENT,_,<(*,CAT,FISH) --> FOOD>),_,eat,fish))>. %1.00;0.81% {3 : 1;2}
OUT: <cat --> (&,(/,REPRESENT,_,CAT),(/,(/,REPRESENT,_,<(*,CAT,FISH) --> FOOD>),_,eat,fish))>. %1.00;0.81% {3 : 1;2}
OUT: <<$1 --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),_,eat,fish)> ==> <$1 --> (/,REPRESENT,_,$2)>>. %1.00;0.45% {3 : 1;2}
OUT: <<$1 --> (/,REPRESENT,_,$2)> ==> <$1 --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),_,eat,fish)>>. %1.00;0.45% {3 : 1;2}
OUT: <<$1 --> (/,REPRESENT,_,$2)> <=> <$1 --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),_,eat,fish)>>. %1.00;0.45% {3 : 1;2}
OUT: (&&,<#1 --> (/,REPRESENT,_,$2)>,<#1 --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),_,eat,fish)>). %1.00;0.81% {3 : 1;2}
OUT: <(/,REPRESENT,_,$1) --> (/,(/,REPRESENT,_,<(*,$1,FISH) --> FOOD>),_,eat,fish)>. %1.00;0.45% {3 : 1;2}
OUT: <(/,(/,REPRESENT,_,<(*,$1,FISH) --> FOOD>),_,eat,fish) --> (/,REPRESENT,_,$1)>. %1.00;0.45% {3 : 1;2}
OUT: <(/,REPRESENT,_,$1) <-> (/,(/,REPRESENT,_,<(*,$1,FISH) --> FOOD>),_,eat,fish)>. %1.00;0.45% {3 : 1;2}
*5 [deduction]
IN: <<$1 --> (/,REPRESENT,_,$2)> ==> <$1 --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),_,eat,fish)>>. %1.00;0.90% {0 : 1}
IN: <dog --> (/,REPRESENT,_,DOG)>. %1.00;0.90% {0 : 2}
3
OUT: <<(*,$1,$2) --> REPRESENT> ==> <$1 --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),_,eat,fish)>>. %1.00;0.90% {3 : 1}
9
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {12 : 2}
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {12 : 2}
3
OUT: <<(*,$1,$2) --> REPRESENT> ==> <$1 --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),_,eat,fish)>>. %1.00;0.90% {15 : 1}
3
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {18 : 2}
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {18 : 2}
1
OUT: <<$1 --> (/,REPRESENT,_,$2)> ==> <eat --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),$1,_,fish)>>. %1.00;0.90% {19 : 1}
6
OUT: <<$1 --> (/,REPRESENT,_,$2)> ==> <eat --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),$1,_,fish)>>. %1.00;0.90% {25 : 1}
1
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {26 : 2}
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {26 : 2}
6
OUT: <<$1 --> (/,REPRESENT,_,$2)> ==> <fish --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),$1,eat,_)>>. %1.00;0.90% {32 : 1}
7
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {39 : 2}
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {39 : 2}
1
OUT: <<$1 --> (/,REPRESENT,_,$2)> ==> <fish --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),$1,eat,_)>>. %1.00;0.90% {40 : 1}
1
OUT: <<$1 --> (/,REPRESENT,_,$2)> ==> <eat --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),$1,_,fish)>>. %1.00;0.90% {41 : 1}
11
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {52 : 2}
1
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {53 : 2}
5
OUT: <<$1 --> (/,REPRESENT,_,$2)> ==> <eat --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),$1,_,fish)>>. %1.00;0.90% {58 : 1}
4
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {62 : 2}
2
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {64 : 2}
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {64 : 2}
6
OUT: <<(*,$1,$2) --> REPRESENT> ==> <$1 --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),_,eat,fish)>>. %1.00;0.90% {70 : 1}
1
OUT: <<$1 --> (/,REPRESENT,_,$2)> ==> <fish --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),$1,eat,_)>>. %1.00;0.90% {71 : 1}
9
OUT: <<(*,$1,$2) --> REPRESENT> ==> <eat --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),$1,_,fish)>>. %1.00;0.90% {80 : 1}
4
OUT: <<(*,$1,$2) --> REPRESENT> ==> <$1 --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),_,eat,fish)>>. %1.00;0.90% {84 : 1}
2
OUT: <<$1 --> (/,REPRESENT,_,$2)> ==> <fish --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),$1,eat,_)>>. %1.00;0.90% {86 : 1}
6
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {92 : 2}
3
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {95 : 2}
7
OUT: <dog --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),_,eat,fish)>. %1.00;0.81% {102 : 1;2}
*6 [transformation]
IN: <dog --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),_,eat,fish)>. %1.00;0.90% {0 : 1}
8
OUT: <(*,dog,eat,fish) --> (/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>)>. %1.00;0.90% {8 : 1}
OUT: <eat --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,_,fish)>. %1.00;0.90% {8 : 1}
OUT: <fish --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,eat,_)>. %1.00;0.90% {8 : 1}
*7 [question answering]
IN: <(*,dog,eat,fish) --> (/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>)>. %1.00;0.90% {0 : 1}
IN: <(*,(*,dog,eat,fish),?1) --> REPRESENT>? {0 : 2}
5
OUT: <dog --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),_,eat,fish)>. %1.00;0.90% {5 : 1}
OUT: <eat --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,_,fish)>. %1.00;0.90% {5 : 1}
OUT: <fish --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,eat,_)>. %1.00;0.90% {5 : 1}
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {5 : 1}
OUT: <<(*,DOG,FISH) --> FOOD> --> (/,REPRESENT,(*,dog,eat,fish),_)>. %1.00;0.90% {5 : 1}
3
OUT: <dog --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),_,eat,fish)>. %1.00;0.90% {8 : 1}
OUT: <eat --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,_,fish)>. %1.00;0.90% {8 : 1}
OUT: <fish --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,eat,_)>. %1.00;0.90% {8 : 1}
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {8 : 1}
OUT: <<(*,DOG,FISH) --> FOOD> --> (/,REPRESENT,(*,dog,eat,fish),_)>. %1.00;0.90% {8 : 1}
8
OUT: <(*,dog,eat,fish) --> (/,REPRESENT,_,?1)>? {16 : 2}
OUT: <?1 --> (/,REPRESENT,(*,dog,eat,fish),_)>? {16 : 2}
4
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {20 : 1}
1
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {21 : 1}
1
OUT: <(*,dog,eat,fish) --> (/,REPRESENT,_,?1)>? {22 : 2}
OUT: <?1 --> (/,REPRESENT,(*,dog,eat,fish),_)>? {22 : 2}
2
OUT: <(*,dog,eat,fish) --> (/,REPRESENT,_,?1)>? {24 : 2}
OUT: <?1 --> (/,REPRESENT,(*,dog,eat,fish),_)>? {24 : 2}
5
OUT: <(*,dog,eat,fish) --> (/,REPRESENT,_,?1)>? {29 : 2}
OUT: <?1 --> (/,REPRESENT,(*,dog,eat,fish),_)>? {29 : 2}
15
OUT: <dog --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),_,eat,fish)>. %1.00;0.90% {44 : 1}
OUT: <eat --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,_,fish)>. %1.00;0.90% {44 : 1}
OUT: <fish --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,eat,_)>. %1.00;0.90% {44 : 1}
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {44 : 1}
OUT: <<(*,DOG,FISH) --> FOOD> --> (/,REPRESENT,(*,dog,eat,fish),_)>. %1.00;0.90% {44 : 1}
1
OUT: <dog --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),_,eat,fish)>. %1.00;0.90% {45 : 1}
OUT: <eat --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,_,fish)>. %1.00;0.90% {45 : 1}
OUT: <fish --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,eat,_)>. %1.00;0.90% {45 : 1}
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {45 : 1}
OUT: <<(*,DOG,FISH) --> FOOD> --> (/,REPRESENT,(*,dog,eat,fish),_)>. %1.00;0.90% {45 : 1}
1
OUT: <(*,dog,eat,fish) --> (/,REPRESENT,_,?1)>? {46 : 2}
OUT: <?1 --> (/,REPRESENT,(*,dog,eat,fish),_)>? {46 : 2}
14
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {60 : 1}
7
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {67 : 1}
8
OUT: <(*,dog,eat,fish) --> (/,REPRESENT,_,?1)>? {75 : 2}
OUT: <?1 --> (/,REPRESENT,(*,dog,eat,fish),_)>? {75 : 2}
3
OUT: <(*,dog,eat,fish) --> (/,REPRESENT,_,?1)>? {78 : 2}
OUT: <?1 --> (/,REPRESENT,(*,dog,eat,fish),_)>? {78 : 2}
1
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {8 : 1}
OUT: <(*,(*,dog,eat,fish),?1) --> (*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>)>? {79 : 1;2}
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> (*,(*,dog,eat,fish),?1)>? {79 : 1;2}
OUT: <(*,(*,dog,eat,fish),?1) <-> (*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>)>? {79 : 1;2}
*8 [question answering]
IN: <(*,dog,eat,fish) --> (/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>)>. %1.00;0.90% {0 : 1}
IN: <(*,?1,<(*,DOG,FISH) --> FOOD>) --> REPRESENT>? {0 : 2}
3
OUT: <dog --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),_,eat,fish)>. %1.00;0.90% {3 : 1}
OUT: <eat --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,_,fish)>. %1.00;0.90% {3 : 1}
OUT: <fish --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,eat,_)>. %1.00;0.90% {3 : 1}
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {3 : 1}
OUT: <<(*,DOG,FISH) --> FOOD> --> (/,REPRESENT,(*,dog,eat,fish),_)>. %1.00;0.90% {3 : 1}
1
OUT: <?1 --> (/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>)>? {4 : 2}
OUT: <<(*,DOG,FISH) --> FOOD> --> (/,REPRESENT,?1,_)>? {4 : 2}
2
OUT: <dog --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),_,eat,fish)>. %1.00;0.90% {6 : 1}
OUT: <eat --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,_,fish)>. %1.00;0.90% {6 : 1}
OUT: <fish --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,eat,_)>. %1.00;0.90% {6 : 1}
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {6 : 1}
OUT: <<(*,DOG,FISH) --> FOOD> --> (/,REPRESENT,(*,dog,eat,fish),_)>. %1.00;0.90% {6 : 1}
1
OUT: <dog --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),_,eat,fish)>. %1.00;0.90% {7 : 1}
OUT: <eat --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,_,fish)>. %1.00;0.90% {7 : 1}
OUT: <fish --> (/,(/,REPRESENT,_,<(*,DOG,FISH) --> FOOD>),dog,eat,_)>. %1.00;0.90% {7 : 1}
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {7 : 1}
OUT: <<(*,DOG,FISH) --> FOOD> --> (/,REPRESENT,(*,dog,eat,fish),_)>. %1.00;0.90% {7 : 1}
1
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {8 : 1}
17
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> REPRESENT>. %1.00;0.90% {6 : 1}
OUT: <(*,?1,<(*,DOG,FISH) --> FOOD>) --> (*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>)>? {25 : 1;2}
OUT: <(*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>) --> (*,?1,<(*,DOG,FISH) --> FOOD>)>? {25 : 1;2}
OUT: <(*,?1,<(*,DOG,FISH) --> FOOD>) <-> (*,(*,dog,eat,fish),<(*,DOG,FISH) --> FOOD>)>? {25 : 1;2}
*9 [transformation]
IN: <<$1 --> (/,REPRESENT,_,$2)> ==> <$1 --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),_,eat,fish)>>. %1.00;0.90% {0 : 1}
5
OUT: <<(*,$1,$2) --> REPRESENT> ==> <$1 --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),_,eat,fish)>>. %1.00;0.90% {5 : 1}
*10 [transformation]
IN: <<(*,$1,$2) --> REPRESENT> ==> <$1 --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),_,eat,fish)>>. %1.00;0.90% {0 : 1}
6
OUT: <<(*,$1,$2) --> REPRESENT> ==> <eat --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),$1,_,fish)>>. %1.00;0.90% {6 : 1}
2
OUT: <<(*,$1,$2) --> REPRESENT> ==> <fish --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),$1,eat,_)>>. %1.00;0.90% {8 : 1}
*11 [induction]
IN: <<(*,$1,$2) --> REPRESENT> ==> <fish --> (/,(/,REPRESENT,_,<(*,$2,FISH) --> FOOD>),$1,eat,_)>>. %1.00;0.90% {0 : 1}
IN: <fish --> (/,REPRESENT,_,FISH)>. %1.00;0.90% {0 : 2}
3
OUT: (&&,<#1 --> (/,REPRESENT,_,FISH)>,<<(*,$2,$3) --> REPRESENT> ==> <#1 --> (/,(/,REPRESENT,_,<(*,$3,FISH) --> FOOD>),$2,eat,_)>>). %1.00;0.81% {3 : 2;1}
OUT: <(&&,<$1 --> (/,REPRESENT,_,$2)>,<(*,$3,$4) --> REPRESENT>) ==> <$1 --> (/,(/,REPRESENT,_,<(*,$4,$2) --> FOOD>),$3,eat,_)>>. %1.00;0.45% {3 : 2;1}
*12 [deduction]
IN: <(&&,<$1 --> (/,REPRESENT,_,$2)>,<(*,$3,$4) --> REPRESENT>) ==> <$1 --> (/,(/,REPRESENT,_,<(*,$4,$2) --> FOOD>),$3,eat,_)>>. %1.00;0.90% {0 : 1}
IN: <dog --> (/,REPRESENT,_,DOG)>. %1.00;0.90% {0 : 2}
3
OUT: <(&&,<(*,$1,$2) --> REPRESENT>,<(*,$3,$4) --> REPRESENT>) ==> <$1 --> (/,(/,REPRESENT,_,<(*,$4,$2) --> FOOD>),$3,eat,_)>>. %1.00;0.90% {3 : 1}
1
OUT: <(&&,<$1 --> (/,REPRESENT,_,$2)>,<(*,$3,$4) --> REPRESENT>) ==> <eat --> (/,(/,REPRESENT,_,<(*,$4,$2) --> FOOD>),$3,_,$1)>>. %1.00;0.90% {4 : 1}
3
OUT: <(&&,<$1 --> (/,REPRESENT,_,$2)>,<(*,$3,$4) --> REPRESENT>) ==> <eat --> (/,(/,REPRESENT,_,<(*,$4,$2) --> FOOD>),$3,_,$1)>>. %1.00;0.90% {7 : 1}
10
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {17 : 2}
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {17 : 2}
5
OUT: <(&&,<$1 --> (/,REPRESENT,_,$2)>,<(*,$3,$4) --> REPRESENT>) ==> <eat --> (/,(/,REPRESENT,_,<(*,$4,$2) --> FOOD>),$3,_,$1)>>. %1.00;0.90% {22 : 1}
10
OUT: <(&&,<$1 --> (/,REPRESENT,_,$2)>,<(*,$3,$4) --> REPRESENT>) ==> <eat --> (/,(/,REPRESENT,_,<(*,$4,$2) --> FOOD>),$3,_,$1)>>. %1.00;0.90% {32 : 1}
2
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {34 : 2}
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {34 : 2}
16
OUT: <(&&,<(*,$1,$2) --> REPRESENT>,<(*,$3,$4) --> REPRESENT>) ==> <$1 --> (/,(/,REPRESENT,_,<(*,$4,$2) --> FOOD>),$3,eat,_)>>. %1.00;0.90% {50 : 1}
4
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {54 : 2}
1
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {55 : 2}
4
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {59 : 2}
3
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {62 : 2}
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {62 : 2}
1
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {63 : 2}
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {63 : 2}
15
OUT: <(&&,<(*,$1,$2) --> REPRESENT>,<(*,$3,$4) --> REPRESENT>) ==> <eat --> (/,(/,REPRESENT,_,<(*,$4,$2) --> FOOD>),$3,_,$1)>>. %1.00;0.90% {78 : 1}
3
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {81 : 2}
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {81 : 2}
8
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {89 : 2}
4
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {93 : 2}
5
OUT: <(&&,<(*,$1,$2) --> REPRESENT>,<(*,$3,$4) --> REPRESENT>) ==> <$1 --> (/,(/,REPRESENT,_,<(*,$4,$2) --> FOOD>),$3,eat,_)>>. %1.00;0.90% {98 : 1}
4
OUT: <(&&,<(*,$1,$2) --> REPRESENT>,<(*,$3,$4) --> REPRESENT>) ==> <eat --> (/,(/,REPRESENT,_,<(*,$4,$2) --> FOOD>),$3,_,$1)>>. %1.00;0.90% {102 : 1}
7
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {109 : 2}
11
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {120 : 2}
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {120 : 2}
5
OUT: <(&&,<(*,$1,$2) --> REPRESENT>,<(*,$3,$4) --> REPRESENT>) ==> <$1 --> (/,(/,REPRESENT,_,<(*,$4,$2) --> FOOD>),$3,eat,_)>>. %1.00;0.90% {125 : 1}
6
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {131 : 2}
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {131 : 2}
11
OUT: <(*,dog,DOG) --> REPRESENT>. %1.00;0.90% {142 : 2}
OUT: <DOG --> (/,REPRESENT,dog,_)>. %1.00;0.90% {142 : 2}
10
OUT: <<$1 --> (/,REPRESENT,_,$2)> ==> <eat --> (/,(/,REPRESENT,_,<(*,DOG,$2) --> FOOD>),dog,_,$1)>>. %1.00;0.81% {152 : 1;2}
*13 [deduction]
IN: <meat --> (/,REPRESENT,_,MEAT)>. %1.00;0.90% {0 : 1}
IN: <<$1 --> (/,REPRESENT,_,$2)> ==> <eat --> (/,(/,REPRESENT,_,<(*,DOG,$2) --> FOOD>),dog,_,$1)>>. %1.00;0.90% {0 : 2}
3
OUT: <<(*,$1,$2) --> REPRESENT> ==> <eat --> (/,(/,REPRESENT,_,<(*,DOG,$2) --> FOOD>),dog,_,$1)>>. %1.00;0.90% {3 : 2}
9
OUT: <(*,meat,MEAT) --> REPRESENT>. %1.00;0.90% {12 : 1}
OUT: <MEAT --> (/,REPRESENT,meat,_)>. %1.00;0.90% {12 : 1}
3
OUT: <<(*,$1,$2) --> REPRESENT> ==> <eat --> (/,(/,REPRESENT,_,<(*,DOG,$2) --> FOOD>),dog,_,$1)>>. %1.00;0.90% {15 : 2}
3
OUT: <(*,meat,MEAT) --> REPRESENT>. %1.00;0.90% {18 : 1}
OUT: <MEAT --> (/,REPRESENT,meat,_)>. %1.00;0.90% {18 : 1}
2
OUT: <<$1 --> (/,REPRESENT,_,$2)> ==> <dog --> (/,(/,REPRESENT,_,<(*,DOG,$2) --> FOOD>),_,eat,$1)>>. %1.00;0.90% {20 : 2}
6
OUT: <<$1 --> (/,REPRESENT,_,$2)> ==> <dog --> (/,(/,REPRESENT,_,<(*,DOG,$2) --> FOOD>),_,eat,$1)>>. %1.00;0.90% {26 : 2}
2
OUT: <(*,meat,MEAT) --> REPRESENT>. %1.00;0.90% {28 : 1}
OUT: <MEAT --> (/,REPRESENT,meat,_)>. %1.00;0.90% {28 : 1}
8
OUT: <(*,meat,MEAT) --> REPRESENT>. %1.00;0.90% {36 : 1}
OUT: <MEAT --> (/,REPRESENT,meat,_)>. %1.00;0.90% {36 : 1}
10
OUT: <<$1 --> (/,REPRESENT,_,$2)> ==> <dog --> (/,(/,REPRESENT,_,<(*,DOG,$2) --> FOOD>),_,eat,$1)>>. %1.00;0.90% {46 : 2}
2
OUT: <MEAT --> (/,REPRESENT,meat,_)>. %1.00;0.90% {48 : 1}
1
OUT: <MEAT --> (/,REPRESENT,meat,_)>. %1.00;0.90% {49 : 1}
5
OUT: <(*,meat,MEAT) --> REPRESENT>. %1.00;0.90% {54 : 1}
4
OUT: <(*,meat,MEAT) --> REPRESENT>. %1.00;0.90% {58 : 1}
OUT: <MEAT --> (/,REPRESENT,meat,_)>. %1.00;0.90% {58 : 1}
4
OUT: <<(*,$1,$2) --> REPRESENT> ==> <eat --> (/,(/,REPRESENT,_,<(*,DOG,$2) --> FOOD>),dog,_,$1)>>. %1.00;0.90% {62 : 2}
10
OUT: <<$1 --> (/,REPRESENT,_,$2)> ==> <dog --> (/,(/,REPRESENT,_,<(*,DOG,$2) --> FOOD>),_,eat,$1)>>. %1.00;0.90% {72 : 2}
2
OUT: <MEAT --> (/,REPRESENT,meat,_)>. %1.00;0.90% {74 : 1}
5
OUT: <<(*,$1,$2) --> REPRESENT> ==> <eat --> (/,(/,REPRESENT,_,<(*,DOG,$2) --> FOOD>),dog,_,$1)>>. %1.00;0.90% {79 : 2}
5
OUT: <MEAT --> (/,REPRESENT,meat,_)>. %1.00;0.90% {84 : 1}
3
OUT: <<(*,$1,$2) --> REPRESENT> ==> <dog --> (/,(/,REPRESENT,_,<(*,DOG,$2) --> FOOD>),_,eat,$1)>>. %1.00;0.90% {87 : 2}
4
OUT: <eat --> (/,(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>),dog,_,meat)>. %1.00;0.81% {91 : 2;1}
8
OUT: <<(*,$1,$2) --> REPRESENT> ==> <dog --> (/,(/,REPRESENT,_,<(*,DOG,$2) --> FOOD>),_,eat,$1)>>. %1.00;0.90% {99 : 2}
1
OUT: <(*,meat,MEAT) --> REPRESENT>. %1.00;0.90% {100 : 1}
3
OUT: <(*,meat,MEAT) --> REPRESENT>. %1.00;0.90% {103 : 1}
3
OUT: <(*,meat,MEAT) --> REPRESENT>. %1.00;0.90% {106 : 1}
OUT: <MEAT --> (/,REPRESENT,meat,_)>. %1.00;0.90% {106 : 1}
11
OUT: <(*,meat,MEAT) --> REPRESENT>. %1.00;0.90% {117 : 1}
OUT: <MEAT --> (/,REPRESENT,meat,_)>. %1.00;0.90% {117 : 1}
11
OUT: <(*,meat,MEAT) --> REPRESENT>. %1.00;0.90% {128 : 1}
OUT: <MEAT --> (/,REPRESENT,meat,_)>. %1.00;0.90% {128 : 1}
6
OUT: <eat --> (/,(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>),dog,_,meat)>. %1.00;0.81% {134 : 1;2}
5
OUT: <(*,meat,MEAT) --> REPRESENT>. %1.00;0.90% {139 : 1}
OUT: <MEAT --> (/,REPRESENT,meat,_)>. %1.00;0.90% {139 : 1}
10
OUT: <<(*,$1,$2) --> REPRESENT> ==> <dog --> (/,(/,REPRESENT,_,<(*,DOG,$2) --> FOOD>),_,eat,$1)>>. %1.00;0.90% {149 : 2}
7
OUT: <(*,meat,MEAT) --> REPRESENT>. %1.00;0.90% {156 : 1}
OUT: <MEAT --> (/,REPRESENT,meat,_)>. %1.00;0.90% {156 : 1}
6
OUT: <dog --> (/,(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>),_,eat,meat)>. %1.00;0.81% {162 : 1;2}
*14 [transformation]
IN: <dog --> (/,(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>),_,eat,meat)>. %1.00;0.90% {0 : 1}
8
OUT: <(*,dog,eat,meat) --> (/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>)>. %1.00;0.90% {8 : 1}
OUT: <eat --> (/,(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>),dog,_,meat)>. %1.00;0.90% {8 : 1}
OUT: <meat --> (/,(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>),dog,eat,_)>. %1.00;0.90% {8 : 1}
*15 [question answering]
IN: <(*,dog,eat,meat) --> (/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>)>. %1.00;0.90% {0 : 1}
IN: <?1 --> (/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>)>? {0 : 2}
4
OUT: <(*,?1,<(*,DOG,MEAT) --> FOOD>) --> REPRESENT>? {4 : 2}
OUT: <<(*,DOG,MEAT) --> FOOD> --> (/,REPRESENT,?1,_)>? {4 : 2}
1
OUT: <dog --> (/,(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>),_,eat,meat)>. %1.00;0.90% {5 : 1}
OUT: <eat --> (/,(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>),dog,_,meat)>. %1.00;0.90% {5 : 1}
OUT: <meat --> (/,(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>),dog,eat,_)>. %1.00;0.90% {5 : 1}
OUT: <(*,(*,dog,eat,meat),<(*,DOG,MEAT) --> FOOD>) --> REPRESENT>. %1.00;0.90% {5 : 1}
OUT: <<(*,DOG,MEAT) --> FOOD> --> (/,REPRESENT,(*,dog,eat,meat),_)>. %1.00;0.90% {5 : 1}
3
OUT: <(*,?1,<(*,DOG,MEAT) --> FOOD>) --> REPRESENT>? {8 : 2}
OUT: <<(*,DOG,MEAT) --> FOOD> --> (/,REPRESENT,?1,_)>? {8 : 2}
11
OUT: <(*,dog,eat,meat) --> (/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>)>. %1.00;0.90% {0 : 1}
OUT: <?1 --> (*,dog,eat,meat)>? {19 : 1;2}
OUT: <(*,dog,eat,meat) --> ?1>? {19 : 1;2}
OUT: <?1 <-> (*,dog,eat,meat)>? {19 : 1;2}
*16 [question answering]
IN: <(*,dog,eat,meat) --> (/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>)>. %1.00;0.90% {0 : 1}
IN: <(*,dog,eat,meat) --> (/,REPRESENT,_,?1)>? {0 : 2}
5
OUT: <dog --> (/,(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>),_,eat,meat)>. %1.00;0.90% {5 : 1}
OUT: <eat --> (/,(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>),dog,_,meat)>. %1.00;0.90% {5 : 1}
OUT: <meat --> (/,(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>),dog,eat,_)>. %1.00;0.90% {5 : 1}
OUT: <(*,(*,dog,eat,meat),<(*,DOG,MEAT) --> FOOD>) --> REPRESENT>. %1.00;0.90% {5 : 1}
OUT: <<(*,DOG,MEAT) --> FOOD> --> (/,REPRESENT,(*,dog,eat,meat),_)>. %1.00;0.90% {5 : 1}
3
OUT: <dog --> (/,(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>),_,eat,meat)>. %1.00;0.90% {8 : 1}
OUT: <eat --> (/,(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>),dog,_,meat)>. %1.00;0.90% {8 : 1}
OUT: <meat --> (/,(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>),dog,eat,_)>. %1.00;0.90% {8 : 1}
OUT: <(*,(*,dog,eat,meat),<(*,DOG,MEAT) --> FOOD>) --> REPRESENT>. %1.00;0.90% {8 : 1}
OUT: <<(*,DOG,MEAT) --> FOOD> --> (/,REPRESENT,(*,dog,eat,meat),_)>. %1.00;0.90% {8 : 1}
8
OUT: <(*,dog,eat,meat) --> (/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>)>. %1.00;0.90% {0 : 1}
OUT: <(/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>) --> (/,REPRESENT,_,?1)>? {16 : 1;2}
OUT: <(/,REPRESENT,_,?1) --> (/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>)>? {16 : 1;2}
OUT: <(/,REPRESENT,_,?1) <-> (/,REPRESENT,_,<(*,DOG,MEAT) --> FOOD>)>? {16 : 1;2}
