[sv-ac] [sv-bc] SV-BC BNF issues review - 290

review comments for proposal 290:

We found two errors
---------------------------------------------------
at 17.11.4 (page 264)

the two lines right after RESTRICTION 3:
"Furthermore, not cannot be applied to any property expression that
instantiates a property that depends on a
 recursive property. The precise definition of dependency is given at
annex H."

Should be right after RESTRICTION 1 and not in their current position.
---------------------------------------------------
at H.5 at the last line of page 616 there are a redundant {, and a p1
missing, it should be:

<{p1,p2,p3},{(p1,p2),(p1,p3),(p3,p1)}>

---------------------------------------------------

Doron Bustan
Received on Wed Jan 26 07:55:53 2005