 Definition 2.20  If a set of agents \(N\) are in a common knowledge situation \(\mathcal{S}_N (A)\) with respect to \(A\), then the corresponding set \(N'\) of their smooth-reasoner counterparts is in a parallel situation \(\mathcal{S}'_{N'}(A)\) if, and only if, for each \(i' \in N\),