Junior high school student’s strategy in partial formal correspondence relationship generalization