Not part of the model; see my reply to Slider. The assumption is that the first agent has to be consistent (“problem of ambiguity is ignored”), and the final statement (or any other statement) is not equal to the string but to the real claim that talks about however many concepts.
Maybe you said it somewhere, but where do definitions of new terms and concepts fit in? Would that be a type of statement?
Not part of the model; see my reply to Slider. The assumption is that the first agent has to be consistent (“problem of ambiguity is ignored”), and the final statement (or any other statement) is not equal to the string but to the real claim that talks about however many concepts.