[sv-ac] Definition for nonvacuous evaluation of property "and" operator

Section 16.15.8 / clause 'f' says:
-----
f) An evaluation attempt of a property of the form property_expr1 and property_expr2 is nonvacuous
if, and only if, either the underlying evaluation attempt of property_expr1 is nonvacuous or the
underlying evaluation attempt of property_expr2 is nonvacuous.
----------

It seems incorrect to me (probably it's copied from clause 'e' - and some modifications were missed). Is there any open mantis for this? I could not find one so want to confirm.

Warm regards,
Tapan
"You must be the change you want to see in the world" : Mahatma Gandhi

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