The first XTOP R annotates the input tree with the rules that the second XTOP R is supposed to use.
the first XTOP R remains nondeterministic, but the second XTOP R , which simply executes the annotated rules, is now deterministic.