Four crosscountry skiers climb uphill.
Four skiers are having no challenge climbing uphill.
Four crosscountry skiers climb uphill does not necessary that they are having no challenge climbing uphill.
exists s1 s2 x1 x2 x3.(n_uphill(x1) & a_.(s2) & Theme(s2,x1) & of(x1,x3) & n_climb(x3) & of(x1,x2) & n_skier(x2) & a_crosscountry(s1) & Theme(s1,x1) & card_eq_4(x1) & a_topic(x1))
exists x1.(-exists e1 e2 x2 x3 x4.(Theme(e2,x2) & Actor(e2,x1) & v_have(e2) & Theme(e1,x4) & Actor(e1,x3) & v_climb(e1) & n_uphill(x4) & (x2 = x3) & n_challenge(x2)) & n_skier(x1) & card_eq_4(x1))