 The rules for your assertions are dual. At each state of the game an occurrence of a non-atomic formula in either the multiset of current assertions by me or by you is chosen and gets replaced by subformulas, as indicated by these rules, until only atomic assertions remain. A final game state is then evaluated according to the following betting scheme.