事後 じご条件 じょうけんではありません
ji gojōkendewārimasen

Noun
Desu Copula
Negation Auxiliary

The polite negative form of 事後条件

1. Not a subsequent condition.; It is not a postcondition.

Negative
Polite
Formal Register
Computing