単一 たんいつ もとずくづく形式 けいしき だろう
tan'itsukani motozuku keishikikadarō

Noun
Da Copula

Expresses probability ("probably…") of 単一化に基づく形式化

1. Likely formalization based on unification.; Probably a formalization based on unification.

Presumptive
Conjecture