text: public SpanNotQuery(SpanQuery include, SpanQuery exclude, int pre, int post){this.include = include;this.exclude = exclude;this.pre = (pre >= 0) ? pre : 0;this.post = (post >= 0) ? post : 0;if (include.Field != null && exclude.Field != null && !include.Field.Equals(exclude.Field, StringComparison.Ordinal)){throw new System.ArgumentException("Clauses must have same field.");}}