A man is cleaning a large boulder laying on a pallet.
The man is sitting inside the church, praying.
You do not usually find boulders inside of churches. You cannot be both sitting and laying. Cleaning and praying are not normally done simultaneously.
exists e1 e2 s1 x1 x2 x3 x4.(Theme(e2,x2) & Actor(e2,x1) & v_clean(e2) & on(e1,x4) & n_pallet(x4) & Actor(e1,x3) & v_lay(e1) & (x2 = x3) & n_boulder(x2) & a_large(s1) & Theme(s1,x2) & n_man(x1))
exists e2 e1 x1 x2.(n_church(x2) & n_man(x1) & for(e1,e2) & Actor(e2,x1) & v_pray(e2) & inside(e1,x2) & Actor(e1,x1) & v_sit(e1))