Let Obs denote the set of indices i for which the user also observes that E i = e * i , the aligned reference translation, because e * i has already been guessed correctly (green feedback) or shown as a clue.
the user's posterior distribution over E is P θ (E = e | E Obs = e * Obs , f , history), where "history" denotes the user's history of past interactions.