Text this: Structural characterizations of the navigational expressiveness of relation algebras on a tree.