制約 せいやく伝搬 でんぱんなら
seiyakudempannara

Noun
Da Copula

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

1. If constraint propagation; When constraint propagation

Nara Conditional