Ideally, specific properties of negation and other operators should be induced from corpus data.
the logical ("complement") constraint on negation might be captured by a non-linear scoring function that assigns very low probabilities to vectors that are too similar to the one of the negated element.