In particular, let us consider a rule Unlike syntactic parsing, child types of a parse tree uniquely define the parent type of the rule; this is a direct consequence of our combination rules being functions with domains defined in terms of the temporal types, and therefore necessarily projecting their inputs into a single output type.
the first class of bracketing featuresover types -reduce to have the exact same expressive power as the nonterminal CFG rules of Angeli et al.