Both facts are correctly predicted since HO2(p) semantically indicates that the questioner has an expectation toward p. Similarly, a ME1 question indicates that the questioner has an expectation toward ¬p.
it cannot be used in neutral contexts (3-c) ant can be responded with "You're right" to agree with the negative answer (6).