階層かいそう制約せいやく集合しゅうごうであれば
kaisō seiyakushūgōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 階層制約集合

1. If it is a hierarchical constraint set; When it is a hierarchical constraint set

Ba Conditional
Computing