A man is tattooing the arm of another man while the reflection of a man checks his phone.
A man checks for messages while waiting for his friend.
Just because a man checks his phone does not mean he checks his phone for messages. He may be checking for the weather temperature. There is also no evidence that he is waiting for his friend to get a tattoo. He might not even know the man.
exists e1 p1 x1 x2 x3 x4 x6.(n_reflection(x4) & n_arm(x2) & exists e2 x5.(Theme(e2,x6) & Actor(e2,x4) & v_check(e2) & of(x4,x5) & n_man(x5)) & n_phone(x6) & of(x6,x1) & n_male(x1) & while(e1,p1) & Theme(e1,x2) & Actor(e1,x1) & v_tattoo(e1) & of(x2,x3) & n_man(x3) & -(x3 = x1) & n_man(x1) & n_man(x1))
exists e1 x1 x2 x3 x4 x5 x6.(while(x6,e1) & n_event(x6) & for(e1,x1) & for(e1,x5) & n_friend(x5) & of(x5,x1) & n_male(x1) & Actor(e1,x4) & v_wait(e1) & n_thing(x4) & for(x1,x3) & n_message(x3) & n_check(x1) & of(x1,x2) & n_man(x2))