Structural properties of trees and expressivity of logical formalisms