手続 てつず宣言 せんげんであれば
tetsuzukisengendeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 手続き宣言

1. If the procedure declaration…; When the procedure declaration…

Ba Conditional
Computing