Negate rule is ambiguous?