 Partial meet contraction, as defined in Section 2.1, is equally applicable to belief bases. Note that \(A\bot p\) is the set of maximal subsets of \(A\) that do not imply \(p\); it is not sufficient that they do not contain \(p\). Hence 