事後 じご条件 じょうけんなら
ji gojōkennara

Noun
Da Copula

The "-nara" conditional form ("if/when…") of 事後条件

1. If/when afterward; If/when postcondition

Nara Conditional
Computing