reverse directions in property paths

Hi -

I'm starting to look at property paths in SPARQL 1.1, and the spec doesn't make it clear how/whether reversal "distributes" over other operators. Suppose you have the triples

y  a  o1
o1 b  x

y  b  o2
o2  a  x

in the database. Would {  x   ^(a/b)   y  } match with the first pair, or with the second pair of triples in the database?

Thanks
David Mizell
Cray Inc., Seattle