Section 5.4, Dealing with Precedence, Left Recursion, and Associativity, on page 70:
“[…] so ANTLR resolves the operator ambiguity for 1+2*3 in favor of the multiplication”
I think it’s ambiguous because the sentence could have two meanings:
(a) ANTLR uses the multiplication in the first level of the parse tree, just after the root node. That would imply the third alternative of Figure 3 and so: 1+2*3->9
(b) ANTLR uses the multiplication in the bottom of the parse tree. That implies the second alternative of Figure 3 and so: 1+2*3->7
We know that (b) is true, but it might not be obvious from the text.