Our logic-based method, however, interpreted the first sentence as a negative existential formula of the form ¬∃xP(x) and the second sentence as an existential formula ∃xP ′ (x).
it could easily handle the semantic difference between the positive and negative sentences.