制約 せいやく伝搬 でんぱんであれば
seiyakudempandeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 制約伝搬

1. If constraint propagation; When constraint propagation

Ba Conditional