o facilitate testing.
    The more general assertion is only considered to have a "pass" status if all its required
    or implmented specializations in a given implementation have a "pass" status.
  </li>
  <li>
    The <b>Result</b> column is annotated with the number of
    <code>pass</code> (<b>P</b>),
    <code>fail</code> (<b>F</b>), and
    <code>not-impl</code> (<b>N</b>)
    status results in the individual implementer reports.
  </li>
  <li>
    The <b>T</b> column indicates the total number of im