June 11, 2004
Dominance Chart
This chart represents our analysis of which nodes dominate which terminals in the 3d parse tree. We worked from the bottom up, applying the rule that a node X which dominates a node Y must also dominate all of the terminals under node Y. To come up with dominance in the third dimension, we looked at adjacent pairs in the string (marked by green arcs and arrows) to deduce the dominance. The purple dotted lines are to emphasize pairs of dominance areas. We also came up with axioms and a first set of inference rules from this. Those should be posted before the end of today.
