事後 じご条件 じょうけん
ji gojōkende

Noun
Da Copula

て-form: Used to connect clauses, make requests, or chain actions of 事後条件

1. After the fact conditions; Postconditions

Te-Form
Computing