created abstraction between abstraction_set0_01 and pattern1[0]