The spots on the giraffe's face are smaller than the ones on its neck.
All giraffes have these splots
Just because some giraffes have spots does not mean that all giraffes have splots.
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 x2.(n_splot(x2) & all x1.(n_giraffe(x1) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_have(e1))))