David Carlisle writes:

> personally I'd just use <xsl:sequence select="$s=$stops"/>

I should have said, that is of course much clearer than the unfolded
"some $s...satisfies" approach -- I had somehow gotten confused and
mis-remembered that we had lost the implicit existential in the
...=... case.

ht
-- 
       Henry S. Thompson, School of Informatics, University of Edinburgh
      10 Crichton Street, Edinburgh EH8 9AB, SCOTLAND -- (44) 131 650-4440
                Fax: (44) 131 651-1426, e-mail: ht@xxxxxxxxxxxx
                       URL: http://www.ltg.ed.ac.uk/~ht/
 [mail from me _always_ has a .sig like this -- mail without it is forged spam]