事後 じご条件 じょうけんでした
ji gojōkendeshita

Noun
Desu Copula

The polite past form of 事後条件

1. Was a postcondition.; Was a condition subsequent.

Past/Perfective
Polite
Computing