A jogger in red shorts is in the street.
The jogger is at home playing video games.
If you are in the street, you are not at home.
exists p1 s1 x1 x2 x3.(n_street(x3) & in(x1,x3) & in(x1,x2) & n_shorts(x2) & a_red(s1) & Theme(s1,x2) & n_jogger(x1))
exists p1 x1.(n_jogger(x1) & exists e1 x2 x3 x4.(at(x1,x2) & n_game(x2) & of(x2,x4) & n_video(x4) & Actor(e1,x2) & v_play(e1) & of(x2,x3) & n_home(x3)))