added formal definition and 'more than one xpath per node' as future work