How about language understanding using HTM?
Demo What Does A Fox Eat demonstrates word association and generalization power or HTM.
I was found a constructed language Lincos (http://www.brunobassi.it/scritti/lincos.html) first described in 1960.
It is a language designed to be understandable by any possible intelligent extraterrestrial life form, for use in interstellar radio transmissions.
Input an output radio transmission is sequential in Lincos, like input in HTM.
Can we use Lincos-like language to train HTM for solving simple logic/mathematical expressions?
Do you have ideas for realisation?