A group of monks in orange walking down the sidewalk.
The monks are in the temple meditating
The monks cannot be walking down the sidewalk if they are in the temple meditating.
exists e1 s1 x1 x2 x3 x4 x5.(n_sidewalk(x5) & a_topic(x1) & a_down(s1) & Manner(e1,s1) & Theme(e1,x5) & Actor(e1,x4) & v_walk(e1) & (x1 = x4) & in(x1,x3) & n_orange(x3) & of(x1,x2) & n_monk(x2) & n_group(x1))
exists p1 x1 x2 x3.(n_meditating(x2) & of(x2,x3) & n_temple(x3) & n_monk(x1) & in(x1,x2))