This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
How do I guard with more than one variable? Is there any notion of existential qualifier associated with this so that I can have a guard that simply says: If there exists an x, y and a z then .... Maybe we should look at existential qualifiers
nick working on a proposal
proposal at: http://lists.w3.org/Archives/Public/public-ws- chor/2004Sep/0018.html
Declared fixed at Sept 04 F2F, noting that some editorial clarification was necessary.