[sv-ac] Mantis 1648 - default disable

Hi,

yet one more small modification to the text. Deposited on Mantis and
attached here.

Overall, to answer the comments from the champions, the following was
done (also added as bug note on Mantis):

         - Same properties can have different behavior depending on how
used.
          Top-level versus not top-level (e.g. rule b on first page).

The default disable applies only to assert, assume and cover property
statements, not to property and sequence declarations. A sentence was
added to that effect.

         - The bnf shouldn't be in the text.
Done.

        - 3rd paragraph under syntax box, part about "...on the position
of...",          doesn't need to say it.
          "The scope of the... " isn't clear.
Tried to explain better in the new text.

        -  There are issues in the other 2 paragraphs as well.
Not clear what these are...

        -  First paragraph - should be reworded
             "One can specify..." -->
             "A default disabling condition may be..."
Done.


-----------

Best regards,
ed

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