A man with a jacket and red shirt sits at a park bench as a dog with a plaid jacket stands near.
The man is alone in church.
The man cannot be in the park and at church at the same time
exists e1 p1 s1 x1 x2 x3 x4 x5 x6.(exists e2 p2 x7 x8 x9.(exists s2.(Theme(s2,x7) & a_near(s2)) & Topic(e2,p2) & Actor(e2,x7) & v_stand(e2) & with(x7,x8) & n_jacket(x8) & of(x8,x9) & n_plaid(x9) & n_dog(x7)) & as(e1,p1) & at(e1,x5) & n_bench(x5) & of(x5,x6) & n_park(x6) & Actor(e1,x1) & v_sit(e1) & with(x1,x2) & n_shirt(x4) & a_red(s1) & Theme(s1,x4) & n_jacket(x3) & subset_of(x4,x2) & subset_of(x3,x2) & n_man(x1))
exists s1 x1 x2.(n_man(x1) & in(s1,x2) & n_church(x2) & Theme(s1,x1) & a_alone(s1))