様相 ようそう論理 ろんりであれば
yō sō ronrideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 様相論理

1. If modal logic; If it were modal logic

Ba Conditional