Four people dressed in winter gear are in a snowy field.
Some explorers outside in the arctic.
Four people dressed in winter gear does not imply explorers and snowy field does not imply arctic.
exists e1 p1 x1 x2 x3 x4.(exists s1 x5.(in(x1,x5) & n_field(x5) & a_snowy(s1) & Theme(s1,x5)) & in(e1,x3) & n_gear(x3) & of(x3,x4) & n_winter(x4) & Theme(e1,x2) & v_dress(e1) & (x1 = x2) & n_people(x1) & card_eq_4(x1))
exists x1 x2 x3.(n_arctic(x3) & a_topic(x1) & in(x2,x3) & outside(x1,x2) & n_thing(x2) & n_explorer(x1))