[sv-ac] 1549 review

I have reviewed 1549 and have the following comments:

1549:

1.	 Paragraph separations are not correct in 16.8:
		Change:
If an instance of a named sequence is within the scope of a local
variable (see 16.10), then an actual argument in the list of arguments
of the instance may reference the local variable. Names other than
formal arguments that appear in the declaration of a named sequence,
including those that appear in default actual arguments, shall be
resolved according to the scoping rules from the scope of the
declaration of the named sequence.
		
Names appearing in actual arguments in the list of arguments of the
instance shall be resolved according to
the scoping rules from the scope of the instance of the named sequence.

	To 
If an instance of a named sequence is within the scope of a local
variable (see 16.10), then an actual argument in the list of arguments
of the instance may reference the local variable. 

Names other than formal arguments that appear in the declaration of a
named sequence, including those that appear in default actual arguments,
shall be resolved according to the scoping rules from the scope of the
declaration of the named sequence. Names appearing in actual arguments
in the list of arguments of the instance shall be resolved according to
the scoping rules from the scope of the instance of the named sequence.

2.	Also in 16.8,  the following words in blue should be bold
courier font as they are keywords
If a formal argument of a named sequence is typed, then the type shall
be sequence, event, or one of the
types allowed in 16.6.1. The following rules apply to typed formal
arguments and their corresponding actual arguments, including default
actual arguments declared in a named sequence:
1) If the formal argument is of type sequence, then the actual argument
shall be a sequence_expr and
each reference to the formal argument shall be in a place where a
sequence_expr may be written.
2) If the formal argument is of type event, then the actual argument
shall be an event_expression and
each reference to the formal argument shall be in a place where an
event_expression may be written.

3.	In 16.13, the word "named" is missing in the following sentence:
"A named property may be declared in any of the following:"
	
4.	In 16.13.7, the word "property" shown below in blue should be in
courier bold:
For example, a boolean expression or a sequence_expr may be passed as
actual argument to a formal argument of type property because each is a
property_expr. A formal argument of type property may not be referenced
as the antecedent of |-> or |=> (see 16.13.6), regardless of the
corresponding actual argument, because a property_expr may not be
written in that position.

5.	In F.2, all references to "item(....)" need to be italicized as
shown in the rewrite algorithm.
	
6.	In F.4.6.3 Vacuity, the change is not marked as being from 1549

7.	The indent of  "According to 16.8.1, none of the references so
replaced is the variable_lvalue in an operator_assignment or
inc_or_dec_expression in a sequence_match_item."  Is incorrect.  This
statement applies to both items in 4), not just to b).  It occurs in two
places!


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