The spots on the giraffe's face are smaller than the ones on its neck.
The giraffe has spots of two different sizes
If the spots on the giraffe's face are smaller, this implies that larger spots exist elsewhere on it.
exists s1 x1 x2 x3 x4 x5.(n_neck(x5) & of(x5,x2) & n_thing(x2) & n_one(x4) & n_face(x3) & of(x3,x2) & n_giraffe(x2) & n_spot(x1) & than(s1,x4) & on(x4,x5) & r_more(s1) & Theme(s1,x1) & a_smaller(s1) & on(x1,x3))
exists e1 x1 x2 x3 x4.(n_size(x4) & n_giraffe(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & of(x2,x3) & -(x3 = x4) & n_size(x3) & card_eq_2(x3) & n_spot(x2))