Taxonomy induction is the main theoretical contribution of the paper.
second, we disconnect "false" leaves, namely, leaf nodes which are not in the initial terminology and with no outgoing edges (e.g., output in Figure 3a).