A term that resolved the same way three times stops being an inference and becomes a lookup; the corrections are the rows worth having, since a term that meant two things is still a guess and is never promoted.