[sv-ac] draft 7 cross review

Hi Folks:

I have completed by draft 7 cross review.  In addition to
the issues I sent before, I only found one more issue in 16.13.
No issue was found in 16.14.

J.H.


16.13.17
--------

. First paragraph, change

     Recursion provides a flexible framework for coding properties to serve as
     ongoing assumptions, checkers, or coverage monitors.

  to

     Recursion provides a flexible framework for coding properties to serve as
     ongoing assumptions, obligations, or coverage monitors.

  Rationale:  With the checker construct, the word "checker" should be avoided in
  this context.
. RESTRICTION 1.  The last sentence should apply to the strong operators, not just
  "not".  The first sentence talks about direct dependency, while the last talks 
  about transitive dependency.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.