[sv-ac] 1757 accept_on/reject_on proposal

Dmitry and Doron,

I have reviewed the proposal and have a few comments:

1.	in 16.12, there is discussion of several kinds of properties.  I
am trying to relate this to the F.2.1 list.  F.2.1 does not list the
if-else and it references the "and" and "or" forms instead of
"conjunction" and "disjunction".  I'm not sure what the instantiation
means unless it is the parenthesized form. Should we use the same
terminology?  Also note the extra space in the new text "reset,   and
instantiation"
2.	"In particular, when reject_on ..."   ->  suggest dropping the
"in particular" since the statement before is not the same concept.
3.	The paragraph above Annex F.3.6.1 that starts with "the operator
reject_on has the dual semantics." Needs to be reworded. Are you trying
to say:  "A word w satisfies property "reject_on(b) P" if and only if w
satisfies P before b is asserted. 

Lisa

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