事後 じご条件 じょうけんだったら
ji gojōkendattara

Noun
Da Copula

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

1. If/when postcondition; If/when after the fact condition

Tara Conditional
Computing