 The satisfaction relation \(\models\) between pointed plausibility models and formulas of \eqref{APUL} is the smallest extension of the above-defined satisfaction relation \(\models\) for \eqref{KBox} satisfying the following: 