All in all, this analysis remains very limited. Without some kind of simulation, preferably with an option to see how the game progresses and what knowledge is available to each agent, a detailed analysis would simply take too much time and effort for one or two people. The formalization is not perfect either and several of the expressions devised ended up not being used in the final version of the rules.
In the end, all this project has provided is a basis which could be used for a more detailed analysis of this game and the changing knowledge in it. It is truly unfortunate there was not enough time to do some of this, but implementing the game in a fashion which provides usable information about knowledge and implementable strategies would take quite a bit of time, which was not available.