A child looks at a guard in red uniform from the other side of a fence
The guard is protecting the gate.
The guard must be protecting the fence if he is on the other side of the gate.
exists e1 s1 x1 x2 x3 x4 x5.(-(x4 = x4) & n_side(x4) & at(e1,x2) & in(x2,x3) & from(x3,x4) & of(x4,x5) & n_fence(x5) & n_uniform(x3) & a_red(s1) & Theme(s1,x3) & n_guard(x2) & Actor(e1,x1) & v_look(e1) & n_child(x1))
exists e1 x1 x2.(n_gate(x2) & n_guard(x1) & Theme(e1,x2) & Actor(e1,x1) & v_protect(e1))