This means that: 1) B had a prior expectation, ✏ M ( 3 ) ✏ + M p; 2) A's first assertion indicates that p is no longer supported by the expectation state, This contradicts the secondary component of the semantics of A-NOT-A question,  Table 4, among the four Cantonese polar questions considered in this paper, only AA4 questions are simplex questions while HO2, ME1 and A-NOT-A questions have multidimensional semantics.
this paper thus offers a solution to this problem in the framework of inquisitive semantics (Groenendijk & Roelofsen, 2009), where meaning of sentences are given based on support-conditions.