[sv-ac] updated 1668-formal-semantics

Hi Folks:

I have updated on mantis and attached the 1668-formal-semantics
document.

I revised it to address Dmitry's concern regarding notations.

This proposal broadens the scope of F.2.2 to apply to the rest of
the annex, unless otherwise specified.  

The changes that define admits_empty should now be consistent
with the conventions defined in F.2.2.

Please let me know if you have feedback.

J.H.

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