The name of a Boolean flag variable. A flag is implicitly declared by an
assertion or rule having a flag attribute with that name. The value of a
flag becomes true when an assertion with that flag fails or a rule with
that flag fires.
The purpose of flags is to convey state or severity information to a
subsequent process.
An implementation is not required to make use of this attribute.