Applications of many-sorted Robinson consistency theorem