Re: [xsl] Fundimentle Predicate Problem or Bug??

[David Carlisle <davidc@xxxxxxxxx>]

> It does pose an interesting question though, because in my case surely
> 
> Race/RaceType >= 'R' and Race/RaceType <= 'R'
> 
> AND
> 
> Race/RaceType >= 'R' or Race/RaceType <= 'R'
> 
> would do the same? 


no the first is true just if both branches are true, and the second is
true if either branch is true.

> Which is fine in the XSLT world but try 
> explaining that to the logic gurus!


the operators follow standard propositional calculus here, so long as
you remember that 

sequence operator value
means

exists x in sequence such that x operator value.

so in your case

Race/RaceType >= 'R'

means (and could be written in xpath as)

some $r in Race/RaceType satisfies ($r  >= 'R')

David

________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________