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