Another strategy infers meaning using sets.
We have seen models keep track of "positive" and "negative" sets that let it narrow its understanding of a symbol using Sudoku-style cancellation.
Red bars (a) show the positive set and blue boxes (b) show the negative.
