A set of keys in the lock of an opened box on an outside pole.
The keys are in the lock of the electrical box on the pole.
It cannot be inferred that the opened box on the pole is an electrical box.
exists e1 s1 x1 x2 x3 x4 x5.(n_lock(x3) & a_topic(x1) & of(x1,x2) & in(x2,x3) & of(x3,x4) & on(x4,x5) & n_pole(x5) & a_outside(s1) & Theme(s1,x5) & n_box(x4) & Theme(e1,x4) & v_open(e1) & n_key(x2) & n_set(x1))
exists p1 s1 x1 x2 x3 x4.(n_pole(x4) & n_box(x3) & a_electrical(s1) & Theme(s1,x3) & n_lock(x2) & n_key(x1) & in(x1,x2) & of(x2,x3) & on(x3,x4))