tree head adjacent lemma
tree head adjacent lemma

DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation