codice_7というのは"banana"という単語が3番目の文書に現れ(formula_4)、その文書中の4番目の単語(position 3)という意味である。