型式 けいしき証明 しょうめいなら
keishikishōmeinara

Noun
Da Copula

The "-nara" conditional form ("if/when…") of 型式証明

1. If/when type approval…; When type-approved…

Nara Conditional