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 2 epm SO: <the,d>, Input: []
1 1 3 epm SO: <d,the>, Input: []
1 2 ism SO: {book,{book,n!case}}, Input: [[the,d]]
1 2 1 dws SO: the, Input: [d]
1 2 2 ism SO: {book,{book,{book,n!case}}}, Input: [[the,d]]
1 2 3 ism SO: {{book,n!case},{book,{book,n!case}}}, Input: [[the,d]]
1 2 4 ism SO: {book,{book,{book,n!case}}}, Input: [[the,d]]
1 2 5 ism SO: {n!case,{book,{book,n!case}}}, Input: [[the,d]]
1 2 6 ipm SO: <{book,{book,n!case}},book>, Input: [[the,d]]
1 2 7 ipm SO: <{book,{book,n!case}},{book,n!case}>, Input: [[the,d]]
1 2 8 ipm SO: <{book,{book,n!case}},book>, Input: [[the,d]]
1 2 9 ipm SO: <{book,{book,n!case}},n!case>, Input: [[the,d]]
1 3 ism SO: {n!case,{book,n!case}}, Input: [[the,d]]
1 3 1 dws SO: the, Input: [d]
1 3 2 ism SO: {n!case,{n!case,{book,n!case}}}, Input: [[the,d]]
1 3 3 ism SO: {{book,n!case},{n!case,{book,n!case}}}, Input: [[the,d]]
1 3 4 ism SO: {book,{n!case,{book,n!case}}}, Input: [[the,d]]
1 3 5 ism SO: {n!case,{n!case,{book,n!case}}}, Input: [[the,d]]
1 3 6 ipm SO: <{n!case,{book,n!case}},n!case>, Input: [[the,d]]
1 3 7 ipm SO: <{n!case,{book,n!case}},{book,n!case}>, Input: [[the,d]]
1 3 8 ipm SO: <{n!case,{book,n!case}},book>, Input: [[the,d]]
1 3 9 ipm SO: <{n!case,{book,n!case}},n!case>, Input: [[the,d]]
1 4 ipm SO: <{book,n!case},book>, Input: [[the,d]]
1 4 1 dws SO: the, Input: [d]
1 5 ipm SO: <{book,n!case},n!case>, Input: [[the,d]]
1 5 1 dws SO: the, Input: [d]
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 2 epm SO: <the,d>, Input: []
2 1 3 epm SO: <d,the>, Input: []
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 2 epm SO: <the,d>, Input: []
3 1 3 epm SO: <d,the>, Input: []
Nodes: 40
Dead: 0 MergeR: 0 Unlabeled: 0 Itf: 0 Found: 0 Queue: 29