An XML navigator limits a tree traversal to those parts of an AST in which there is hope to locate a given element
XML navigators in LAML are based on statically derived information from the XML DTD
S -> X Y Z X -> X A | e Y -> Y B | e Z -> X | Y
