A man us using his two dogs to sled across the snow.
The man is competing in the Iditarod
We do not know he is competing in the Iditarod.
exists e1 x1 x2 x3 x4.(n_snow(x4) & for(e1,x1) & across(e1,x4) & to(e1,x3) & n_sled(x3) & Theme(e1,x2) & Actor(e1,x1) & v_use(e1) & n_dog(x2) & card_eq_2(x2) & of(x2,x1) & n_male(x1) & n_person(x1) & n_man(x1))
exists e1 x1 x2.(ne_geo_iditarod(x2) & n_man(x1) & in(e1,x2) & Actor(e1,x1) & v_compete(e1))