Before revision:  Therefore ,  we aim at reducing syntactic negation, strictly speaking, the negated event or property , to its inverse.
After revision:  Therefore , while negative knowledge is used only during the reasoning process. In consequence, we aim at reducing syntactic negation, strictly speaking, the negated event or property , to its inverse.