Such unification problems do not have most general unifiers.
そのようなユニフィケーション問題は最大汎用単一子を持たない。