As a by product we may also get parsings of Karl's sentences and some sort of meanings for their constituents (the rest of M), since these are needed to play an auxiliary role in generating the truth conditions of the full sentences.