A man leans against a rock pillar with his back to an ongoing parade decorated with white and pink balloon arch.
The man is attending the Macy's Thanksgiving Day Parade.
The fact that a man leans against a rock pillar with his back to an ongoing parade decorated with white and pink balloon arch doesn't imply that it is the Macy's Thanksgiving Day Parade.
exists e2 e1 s1 s2 s3 x1 x2 x3 x4 x5 x6 x7 x8.(against(e1,x2) & with(e2,x7) & n_arch(x7) & of(x7,x8) & n_balloon(x8) & a_pink(s3) & Theme(s3,x7) & a_white(s2) & Theme(s2,x7) & Theme(e2,x6) & v_decorate(e2) & (x2 = x6) & to(x2,x5) & n_parade(x5) & a_ongoing(s1) & Theme(s1,x5) & with(x2,x4) & n_back(x4) & of(x4,x1) & n_male(x1) & n_pillar(x2) & of(x2,x3) & n_rock(x3) & Actor(e1,x1) & v_lean(e1) & n_man(x1))
exists e1 x1 x2 x3 x4 x5.(ne_tim_parade(x3) & (x3 = x5) & ne_tim_day(x5) & (x3 = x4) & ne_tim_thanksgiving(x4) & of(x3,x2) & ne_geo_macy(x2) & n_man(x1) & Theme(e1,x3) & Actor(e1,x1) & v_attend(e1))