Two men handle a large telescope while one is looking through.
One man is looking at something.
One man is looking through is rephrased as one man is looking at something
exists e1 p1 s1 x1 x2.(exists e2 s2 x3.(a_through(s2) & Manner(e2,s2) & Actor(e2,x3) & v_look(e2) & n_thing(x3) & card_eq_1(x3)) & while(e1,p1) & Theme(e1,x2) & Actor(e1,x1) & v_handle(e1) & n_telescope(x2) & a_large(s1) & Theme(s1,x2) & n_man(x1) & card_eq_2(x1))
exists e1 x1 x2.(at(e1,x2) & n_thing(x2) & Actor(e1,x1) & v_look(e1) & n_man(x1) & card_eq_1(x1))