The way the type qualifiers and when attributes work, it really means
that the element labeled will contain both elements in the set
Nonnegative and elements in the complement of Nonnegative.
So the annotation name is correct, I'll fix the documentation.
On Aug 16, 2008, at 10:32 AM, Elliotte Harold wrote: