Now, Marx and de Rijke (2004) have shown that all X queries can be expressed in first order logic over trees using at most two variables, extended with child and immediate following sibling.
the regular expression above cannot be expressed in this signature in less than three variables (Marx, 2005).