This is a preview. Log in through your library . Abstract The first-order theory of arborescent structures is shown to be completely faithfully interpretable in the first-order theory of trees. It ...