単一 たんいつ もとずくづく形式 けいしき だったら
tan'itsukani motozuku keishikikadattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of 単一化に基づく形式化

1. If based on unification formalization; If it were to be formalized based on unification

Tara Conditional