The error report command selects the first error report relating to the inspected formula. It is applicable only to a formula that is shown boxed in the specification, for which the reports are not all warnings.