Issue:A variant of Craig's interpolation theorem for intuitionistic fuzzy formulas. Part 2