Two hikers wearing dark clothes rest on a snow covered peak.
There are two hikers dressed in dark clothes.
Hikers wearing dark clothes must be dressed in dark clothes.
exists e1 e2 s1 x1 x2 x3 x4 x5 x6.(Theme(e2,x6) & Actor(e2,x1) & v_cover(e2) & n_peak(x6) & on(e1,x5) & n_snow(x5) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_rest(x3) & of(x3,x4) & n_clothes(x4) & a_dark(s1) & Theme(s1,x3) & (x1 = x2) & n_hiker(x1) & card_eq_2(x1))
exists p1 x1 e1 s1 x2 x3 x4.((x1 = x2) & in(e1,x4) & n_clothes(x4) & a_dark(s1) & Theme(s1,x4) & Theme(e1,x3) & v_dress(e1) & (x2 = x3) & n_hiker(x2) & card_eq_2(x2))