 which is assigned the reading “agent a believes F conditional on G”. Sometimes \(B_a^GF\) is abbreviated by \(B_a(F|G)\). Though the meaning of \(B_a^GF\) can be derived from the above definitions, the following provides a more intuitive interpretation. 