[sv-ac] changes to 1932

Hi Doron:

In the "JohnsComments.doc" you say that you don't think the P and Q
are interchanged in F.3.1.2.

In F.3.1.1, you have

   The transformation T^s(S, c) recursively defined below produces a
   sequence R from a sequence S and a clock c:

Here the comment makes sense to me, and I would write

   R = T^s(S, c)

In F.3.1.2, you now have 

   The transformation T^p(p, c) recursively defined below produces a
   property P from a property Q and a clock c:

This still doesn't make sense to me.  Lowercase p is the symbol
standing for the input property, so I would think it should now say

   The transformation T^p(p,c) produces a property <output property symbol>
   from a property p and a clock c:

Then I would write

   <output property symbol> = T^p(p,c)

You can make the <output property symbol> Q, for example.

I think that you used to have 

   The transformation T^p(P, c) recursively defined below produces a
   property P from a property Q and a clock c:
 
(which is better in avoiding the collision between the argument
lowercase p and the superscript in T^p), but here P and Q look 
reversed to me.

J.H.

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