If the heuristic is consistent, then A * guarantees that whenever an inside item comes off the agenda, its weight is its true Viterbi inside score (Klein and Manning, 2003c).
this guarantee implies that the goal item I(G, 0, n) will be popped with the score of the 1-best parse of the sentence.