A very happy looking man jumps up for a photo while people walk around him.
The man was not alone.
if people walk around the man, the man is not alone.
exists e1 e2 p1 s1 s2 x1 x2.(exists e3 x3.(around(e3,x1) & Actor(e3,x3) & v_walk(e3) & n_people(x3)) & n_male(x1) & while(e2,p1) & a_up(s2) & Manner(e2,s2) & for(e2,x2) & n_photo(x2) & Actor(e2,x1) & v_jump(e2) & n_man(x1) & Actor(e1,x1) & v_look(e1) & a_happy(s1) & Theme(s1,x1) & r_very(x1))
exists x1.(n_man(x1) & -exists s1.(Theme(s1,x1) & a_alone(s1)))