命題 めいだい関数 かんすうであれば
meidaikansūdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 命題関数

1. If the predicate function; When the predicate function

Ba Conditional