A soldier is at his post inside of a museum.
A soldier protects the museum.
Protects is a rephrase of at his post.
exists p1 x1 x2.(exists x3.(at(x1,x2) & of(x2,x3) & n_museum(x3) & r_inside(x2)) & n_post(x2) & of(x2,x1) & n_male(x1) & n_soldier(x1))
exists e1 x1 x2.(n_museum(x2) & Theme(e1,x2) & Actor(e1,x1) & v_protect(e1) & n_soldier(x1))