XPATH: A3 implemented