Negation, Quantifier Scope, and Ambiguity · KhSearch