These reports range over errors from the trivial to the deep. Anything that distracts the reader of complex text is to be deprecated.
Unverifiable Mandatory Requirements
Inappropriate or Missing Relation Parameters
Inappropriate Use or Location of Mandatory Requirement
Mixture of Mandatory and Non-Mandatory
"Shall" Controlling Subordinate Level
We have probably only scratched the surface on things that need reporting.