A hooded man with a beard is walking up concrete steps carrying a red bag as a policeman stares out at the water threatening to invade the steps.
A woman runs down steps with empty hands.
It can't be both a woman and a man. They can't be going both up the steps and running down the steps. And they are either carrying a bag or have empty hands - it can't be both.
exists e1 e2 p1 s1 s2 s3 s4 x1 x2 x3 x4 x5 x7.(n_water(x7) & a_up(s4) & Manner(e2,s4) & Theme(e2,x3) & Actor(e2,x1) & v_walk(e2) & exists e4 e3 p2 s5 x6 x8.(a_out(s5) & Manner(e3,s5) & at(e3,x7) & Topic(e4,p2) & Actor(e4,x8) & v_threaten(e4) & exists e5.(Theme(e5,x3) & Actor(e5,x8) & v_invade(e5)) & (x7 = x8) & Actor(e3,x6) & v_stare(e3) & n_policeman(x6)) & n_step(x3) & n_step(x3) & as(e1,p1) & Theme(e1,x5) & Actor(e1,x4) & v_carry(e1) & n_bag(x5) & a_red(s3) & Theme(s3,x5) & (x3 = x4) & a_concrete(s2) & Theme(s2,x3) & with(x1,x2) & n_beard(x2) & n_man(x1) & a_hooded(s1) & Theme(s1,x1))
exists e1 s1 s2 x1 x2 x3.(with(e1,x3) & n_hand(x3) & a_empty(s2) & Theme(s2,x3) & a_down(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_run(e1) & n_step(x2) & n_woman(x1))