制約伝搬せいやくでんぱんseiyakudenpannounconstraint propagationKanji in this word伝transmit制system搬conveyor約promiseStudy it in Yanamino