 The semantics for formulas are given on pairs \((M,w)\), where \(M\) is a model and \(w\) is an element of the model. A formula \(P(\phi) \ge q\) is true at a pair \((M,w)\), written \((M,w)\models P(\phi)\ge q\), if and only if \(\mathcal{P}_w(\{w'\mid (M,w')\models \phi\}) \ge q\).