Yes I do remember the syntax rules. I have it opened up from my bookmark. Although I am not not sure precisely which rule is responsible for P(c) : bool in the inner context.
Thanks. That resolves the confusion for me. I think I should make a notepad with all my understanding about the system in it to recall them later. Is that a good idea?
@Prithubiswas Of course you should take your own notes for your own reference. I did that when I was an undergraduate, for all the courses that I couldn't completely understand immediately.
And yes it's a good idea to experiment as much as you can. Trying to break a system is a good way to understand how it works if you fail to break it. =)
For example, the fanatic badge, archaelogist badge, tumbleweed badge. Bad behaviour is encouraged by such badges.
Not many users actually engage in objectionable behaviour due to the badges, but it does happen occasionally with some regularity.
Not to say that the gamification aspect of the whole SE system is distasteful. At least the voting badge only encourages voting and nothing else, which can be said to be a good thing.