For example, Sentence 7 would result in the interpretations 7a and 7b with this procedure.
in the end a binary classification system that can predict whether some positive meaning is implied in a negated statement or not would suffice in most real-world applications.