The warning report command selects the first warning 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 errors.