アクティブロジック機能 きのうであれば
akutiburojikku kinōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of アクティブロジック機能

1. If/when active logic function; If active logic function exists

Ba Conditional
Computing