If the terms are composed of different function symbols or the same functor but on different number of terms, the constraint is unsatisfiable.
Ако се услови састоје од симбола различитих функција или истог функтора али на различитим бројем мандата, ограничење је unsatisfiable.