Derivation Tree:
SO: book, Input: [n!case,[the,d]]
1 esm SO: {book,n!case}, Input: [[the,d]]
1 1 dws SO: the, Input: [d]
1 1 1 esm SO: {the,d}, Input: []
1 1 1 1 uws SO: {book,n!case}, Input: [{the,d}]
1 1 1 2 ism SO: {the,{the,d}}, Input: []
1 1 1 3 ism SO: {d,{the,d}}, Input: []
1 1 1 4 ipm SO: <{the,d},the>, Input: []
1 1 1 5 ipm SO: <{the,d},d>, Input: []
1 1 2 epm SO: <the,d>, Input: []
1 1 2 1 uws SO: {book,n!case}, Input: [<the,d>]
1 1 3 epm SO: <d,the>, Input: []
1 1 3 1 uws SO: {book,n!case}, Input: [<d,the>]
1 2 ism SO: {book,{book,n!case}}, Input: [[the,d]]
1 2 1 dws SO: the, Input: [d]
1 2 1 1 esm SO: {the,d}, Input: []
1 2 1 2 epm SO: <the,d>, Input: []
1 2 1 3 epm SO: <d,the>, Input: []
1 2 2 ism SO: {book,{book,{book,n!case}}}, Input: [[the,d]]
1 2 2 1 dws SO: the, Input: [d]
1 2 2 2 ism SO: {book,{book,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 2 3 ism SO: {{book,{book,n!case}},{book,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 2 4 ism SO: {book,{book,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 2 5 ism SO: {{book,n!case},{book,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 2 6 ism SO: {book,{book,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 2 7 ism SO: {n!case,{book,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 2 8 ipm SO: <{book,{book,{book,n!case}}},book>, Input: [[the,d]]
1 2 2 9 ipm SO: <{book,{book,{book,n!case}}},{book,{book,n!case}}>, Input: [[the,d]]
1 2 2 10ipm SO: <{book,{book,{book,n!case}}},book>, Input: [[the,d]]
1 2 2 11ipm SO: <{book,{book,{book,n!case}}},{book,n!case}>, Input: [[the,d]]
1 2 2 12ipm SO: <{book,{book,{book,n!case}}},book>, Input: [[the,d]]
1 2 2 13ipm SO: <{book,{book,{book,n!case}}},n!case>, Input: [[the,d]]
1 2 3 ism SO: {{book,n!case},{book,{book,n!case}}}, Input: [[the,d]]
1 2 3 1 dws SO: the, Input: [d]
1 2 3 2 ism SO: {{book,n!case},{{book,n!case},{book,{book,n!case}}}}, Input: [[the,d]]
1 2 3 3 ism SO: {book,{{book,n!case},{book,{book,n!case}}}}, Input: [[the,d]]
1 2 3 4 ism SO: {n!case,{{book,n!case},{book,{book,n!case}}}}, Input: [[the,d]]
1 2 3 5 ism SO: {{book,{book,n!case}},{{book,n!case},{book,{book,n!case}}}}, Input: [[the,d]]
1 2 3 6 ism SO: {book,{{book,n!case},{book,{book,n!case}}}}, Input: [[the,d]]
1 2 3 7 ism SO: {{book,n!case},{{book,n!case},{book,{book,n!case}}}}, Input: [[the,d]]
1 2 3 8 ism SO: {book,{{book,n!case},{book,{book,n!case}}}}, Input: [[the,d]]
1 2 3 9 ism SO: {n!case,{{book,n!case},{book,{book,n!case}}}}, Input: [[the,d]]
1 2 3 10ipm SO: <{{book,n!case},{book,{book,n!case}}},{book,n!case}>, Input: [[the,d]]
1 2 3 11ipm SO: <{{book,n!case},{book,{book,n!case}}},book>, Input: [[the,d]]
1 2 3 12ipm SO: <{{book,n!case},{book,{book,n!case}}},n!case>, Input: [[the,d]]
1 2 3 13ipm SO: <{{book,n!case},{book,{book,n!case}}},{book,{book,n!case}}>, Input: [[the,d]]
1 2 3 14ipm SO: <{{book,n!case},{book,{book,n!case}}},book>, Input: [[the,d]]
1 2 3 15ipm SO: <{{book,n!case},{book,{book,n!case}}},{book,n!case}>, Input: [[the,d]]
1 2 3 16ipm SO: <{{book,n!case},{book,{book,n!case}}},book>, Input: [[the,d]]
1 2 3 17ipm SO: <{{book,n!case},{book,{book,n!case}}},n!case>, Input: [[the,d]]
1 2 4 ism SO: {book,{book,{book,n!case}}}, Input: [[the,d]]
1 2 4 1 dws SO: the, Input: [d]
1 2 4 2 ism SO: {book,{book,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 4 3 ism SO: {{book,{book,n!case}},{book,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 4 4 ism SO: {book,{book,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 4 5 ism SO: {{book,n!case},{book,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 4 6 ism SO: {book,{book,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 4 7 ism SO: {n!case,{book,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 4 8 ipm SO: <{book,{book,{book,n!case}}},book>, Input: [[the,d]]
1 2 4 9 ipm SO: <{book,{book,{book,n!case}}},{book,{book,n!case}}>, Input: [[the,d]]
1 2 4 10ipm SO: <{book,{book,{book,n!case}}},book>, Input: [[the,d]]
1 2 4 11ipm SO: <{book,{book,{book,n!case}}},{book,n!case}>, Input: [[the,d]]
1 2 4 12ipm SO: <{book,{book,{book,n!case}}},book>, Input: [[the,d]]
1 2 4 13ipm SO: <{book,{book,{book,n!case}}},n!case>, Input: [[the,d]]
1 2 5 ism SO: {n!case,{book,{book,n!case}}}, Input: [[the,d]]
1 2 5 1 dws SO: the, Input: [d]
1 2 5 2 ism SO: {n!case,{n!case,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 5 3 ism SO: {{book,{book,n!case}},{n!case,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 5 4 ism SO: {book,{n!case,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 5 5 ism SO: {{book,n!case},{n!case,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 5 6 ism SO: {book,{n!case,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 5 7 ism SO: {n!case,{n!case,{book,{book,n!case}}}}, Input: [[the,d]]
1 2 5 8 ipm SO: <{n!case,{book,{book,n!case}}},n!case>, Input: [[the,d]]
1 2 5 9 ipm SO: <{n!case,{book,{book,n!case}}},{book,{book,n!case}}>, Input: [[the,d]]
1 2 5 10ipm SO: <{n!case,{book,{book,n!case}}},book>, Input: [[the,d]]
1 2 5 11ipm SO: <{n!case,{book,{book,n!case}}},{book,n!case}>, Input: [[the,d]]
1 2 5 12ipm SO: <{n!case,{book,{book,n!case}}},book>, Input: [[the,d]]
1 2 5 13ipm SO: <{n!case,{book,{book,n!case}}},n!case>, Input: [[the,d]]
1 2 6 ipm SO: <{book,{book,n!case}},book>, Input: [[the,d]]
1 2 6 1 dws SO: the, Input: [d]
1 2 7 ipm SO: <{book,{book,n!case}},{book,n!case}>, Input: [[the,d]]
1 2 7 1 dws SO: the, Input: [d]
1 2 7 2 ism SO: {book,<{book,{book,n!case}},{book,n!case}>}, Input: [[the,d]]
1 2 7 3 ism SO: {n!case,<{book,{book,n!case}},{book,n!case}>}, Input: [[the,d]]
1 2 7 4 ipm SO: <<{book,{book,n!case}},{book,n!case}>,book>, Input: [[the,d]]
1 2 7 5 ipm SO: <<{book,{book,n!case}},{book,n!case}>,n!case>, Input: [[the,d]]
1 2 8 ipm SO: <{book,{book,n!case}},book>, Input: [[the,d]]
1 2 8 1 dws SO: the, Input: [d]
1 2 9 ipm SO: <{book,{book,n!case}},n!case>, Input: [[the,d]]
1 2 9 1 dws SO: the, Input: [d]
1 3 ism SO: {n!case,{book,n!case}}, Input: [[the,d]]
1 3 1 dws SO: the, Input: [d]
1 3 1 1 esm SO: {the,d}, Input: []
1 3 1 2 epm SO: <the,d>, Input: []
1 3 1 3 epm SO: <d,the>, Input: []
1 3 2 ism SO: {n!case,{n!case,{book,n!case}}}, Input: [[the,d]]
1 3 2 1 dws SO: the, Input: [d]
1 3 2 2 ism SO: {n!case,{n!case,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 2 3 ism SO: {{n!case,{book,n!case}},{n!case,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 2 4 ism SO: {n!case,{n!case,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 2 5 ism SO: {{book,n!case},{n!case,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 2 6 ism SO: {book,{n!case,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 2 7 ism SO: {n!case,{n!case,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 2 8 ipm SO: <{n!case,{n!case,{book,n!case}}},n!case>, Input: [[the,d]]
1 3 2 9 ipm SO: <{n!case,{n!case,{book,n!case}}},{n!case,{book,n!case}}>, Input: [[the,d]]
1 3 2 10ipm SO: <{n!case,{n!case,{book,n!case}}},n!case>, Input: [[the,d]]
1 3 2 11ipm SO: <{n!case,{n!case,{book,n!case}}},{book,n!case}>, Input: [[the,d]]
1 3 2 12ipm SO: <{n!case,{n!case,{book,n!case}}},book>, Input: [[the,d]]
1 3 2 13ipm SO: <{n!case,{n!case,{book,n!case}}},n!case>, Input: [[the,d]]
1 3 3 ism SO: {{book,n!case},{n!case,{book,n!case}}}, Input: [[the,d]]
1 3 3 1 dws SO: the, Input: [d]
1 3 3 2 ism SO: {{book,n!case},{{book,n!case},{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 3 3 ism SO: {book,{{book,n!case},{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 3 4 ism SO: {n!case,{{book,n!case},{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 3 5 ism SO: {{n!case,{book,n!case}},{{book,n!case},{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 3 6 ism SO: {n!case,{{book,n!case},{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 3 7 ism SO: {{book,n!case},{{book,n!case},{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 3 8 ism SO: {book,{{book,n!case},{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 3 9 ism SO: {n!case,{{book,n!case},{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 3 10ipm SO: <{{book,n!case},{n!case,{book,n!case}}},{book,n!case}>, Input: [[the,d]]
1 3 3 11ipm SO: <{{book,n!case},{n!case,{book,n!case}}},book>, Input: [[the,d]]
1 3 3 12ipm SO: <{{book,n!case},{n!case,{book,n!case}}},n!case>, Input: [[the,d]]
1 3 3 13ipm SO: <{{book,n!case},{n!case,{book,n!case}}},{n!case,{book,n!case}}>, Input: [[the,d]]
1 3 3 14ipm SO: <{{book,n!case},{n!case,{book,n!case}}},n!case>, Input: [[the,d]]
1 3 3 15ipm SO: <{{book,n!case},{n!case,{book,n!case}}},{book,n!case}>, Input: [[the,d]]
1 3 3 16ipm SO: <{{book,n!case},{n!case,{book,n!case}}},book>, Input: [[the,d]]
1 3 3 17ipm SO: <{{book,n!case},{n!case,{book,n!case}}},n!case>, Input: [[the,d]]
1 3 4 ism SO: {book,{n!case,{book,n!case}}}, Input: [[the,d]]
1 3 4 1 dws SO: the, Input: [d]
1 3 4 2 ism SO: {book,{book,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 4 3 ism SO: {{n!case,{book,n!case}},{book,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 4 4 ism SO: {n!case,{book,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 4 5 ism SO: {{book,n!case},{book,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 4 6 ism SO: {book,{book,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 4 7 ism SO: {n!case,{book,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 4 8 ipm SO: <{book,{n!case,{book,n!case}}},book>, Input: [[the,d]]
1 3 4 9 ipm SO: <{book,{n!case,{book,n!case}}},{n!case,{book,n!case}}>, Input: [[the,d]]
1 3 4 10ipm SO: <{book,{n!case,{book,n!case}}},n!case>, Input: [[the,d]]
1 3 4 11ipm SO: <{book,{n!case,{book,n!case}}},{book,n!case}>, Input: [[the,d]]
1 3 4 12ipm SO: <{book,{n!case,{book,n!case}}},book>, Input: [[the,d]]
1 3 4 13ipm SO: <{book,{n!case,{book,n!case}}},n!case>, Input: [[the,d]]
1 3 5 ism SO: {n!case,{n!case,{book,n!case}}}, Input: [[the,d]]
1 3 5 1 dws SO: the, Input: [d]
1 3 5 2 ism SO: {n!case,{n!case,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 5 3 ism SO: {{n!case,{book,n!case}},{n!case,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 5 4 ism SO: {n!case,{n!case,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 5 5 ism SO: {{book,n!case},{n!case,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 5 6 ism SO: {book,{n!case,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 5 7 ism SO: {n!case,{n!case,{n!case,{book,n!case}}}}, Input: [[the,d]]
1 3 5 8 ipm SO: <{n!case,{n!case,{book,n!case}}},n!case>, Input: [[the,d]]
1 3 5 9 ipm SO: <{n!case,{n!case,{book,n!case}}},{n!case,{book,n!case}}>, Input: [[the,d]]
1 3 5 10ipm SO: <{n!case,{n!case,{book,n!case}}},n!case>, Input: [[the,d]]
1 3 5 11ipm SO: <{n!case,{n!case,{book,n!case}}},{book,n!case}>, Input: [[the,d]]
1 3 5 12ipm SO: <{n!case,{n!case,{book,n!case}}},book>, Input: [[the,d]]
1 3 5 13ipm SO: <{n!case,{n!case,{book,n!case}}},n!case>, Input: [[the,d]]
1 3 6 ipm SO: <{n!case,{book,n!case}},n!case>, Input: [[the,d]]
1 3 6 1 dws SO: the, Input: [d]
1 3 7 ipm SO: <{n!case,{book,n!case}},{book,n!case}>, Input: [[the,d]]
1 3 7 1 dws SO: the, Input: [d]
1 3 7 2 ism SO: {book,<{n!case,{book,n!case}},{book,n!case}>}, Input: [[the,d]]
1 3 7 3 ism SO: {n!case,<{n!case,{book,n!case}},{book,n!case}>}, Input: [[the,d]]
1 3 7 4 ipm SO: <<{n!case,{book,n!case}},{book,n!case}>,book>, Input: [[the,d]]
1 3 7 5 ipm SO: <<{n!case,{book,n!case}},{book,n!case}>,n!case>, Input: [[the,d]]
1 3 8 ipm SO: <{n!case,{book,n!case}},book>, Input: [[the,d]]
1 3 8 1 dws SO: the, Input: [d]
1 3 9 ipm SO: <{n!case,{book,n!case}},n!case>, Input: [[the,d]]
1 3 9 1 dws SO: the, Input: [d]
1 4 ipm SO: <{book,n!case},book>, Input: [[the,d]]
1 4 1 dws SO: the, Input: [d]
1 4 1 1 esm SO: {the,d}, Input: []
1 4 1 2 epm SO: <the,d>, Input: []
1 4 1 3 epm SO: <d,the>, Input: []
1 5 ipm SO: <{book,n!case},n!case>, Input: [[the,d]]
1 5 1 dws SO: the, Input: [d]
1 5 1 1 esm SO: {the,d}, Input: []
1 5 1 2 epm SO: <the,d>, Input: []
1 5 1 3 epm SO: <d,the>, Input: []
2 epm SO: <book,n!case>, Input: [[the,d]]
2 1 dws SO: the, Input: [d]
2 1 1 esm SO: {the,d}, Input: []
2 1 1 1 uws SO: <book,n!case>, Input: [{the,d}]
2 1 1 2 ism SO: {the,{the,d}}, Input: []
2 1 1 3 ism SO: {d,{the,d}}, Input: []
2 1 1 4 ipm SO: <{the,d},the>, Input: []
2 1 1 5 ipm SO: <{the,d},d>, Input: []
2 1 2 epm SO: <the,d>, Input: []
2 1 2 1 uws SO: <book,n!case>, Input: [<the,d>]
2 1 3 epm SO: <d,the>, Input: []
2 1 3 1 uws SO: <book,n!case>, Input: [<d,the>]
3 epm SO: <n!case,book>, Input: [[the,d]]
3 1 dws SO: the, Input: [d]
3 1 1 esm SO: {the,d}, Input: []
3 1 1 1 uws SO: <n!case,book>, Input: [{the,d}]
3 1 1 2 ism SO: {the,{the,d}}, Input: []
3 1 1 3 ism SO: {d,{the,d}}, Input: []
3 1 1 4 ipm SO: <{the,d},the>, Input: []
3 1 1 5 ipm SO: <{the,d},d>, Input: []
3 1 2 epm SO: <the,d>, Input: []
3 1 2 1 uws SO: <n!case,book>, Input: [<the,d>]
3 1 3 epm SO: <d,the>, Input: []
3 1 3 1 uws SO: <n!case,book>, Input: [<d,the>]
Nodes: 201
Dead: 0 MergeR: 0 Unlabeled: 0 Itf: 0 Found: 0 Queue: 161