I am sitting in Robert Miner’s (Design Science) talk on Mathdex in MKM2007, he is stressing that the most imporant thing in in their experiments turned out to be data normalization. He is actually going a long way towards semantics for the general case. At least he is generating some kind of trees, so we will be able to index them in the MWS system. They are interpretable in first-order terms, which is all that MWS needs. It would be very nice if we could build on the idea we had last MKM to have a set of challenge examples that we all can work on and compare our systems.