The key idea then is to represent a set of elementary trees by a disjunction for each dimension of the hierarchy.
a hypertag consists in 3 disjunctions (one for dimension 1, one for dimension 2 and one for dimension 3).