These are some very large onions.
The medium onions are the same size as the large ones.
The onions may not be medium and they could be smaller than the large onions.
exists p1 x1.(n_thing(x1) & exists s1 x2.((x1 = x2) & n_onion(x2) & a_large(s1) & Theme(s1,x2) & r_very(x2)))
exists p1 s1 s2 s3 x1 x2 x3.(n_one(x3) & a_large(s3) & Theme(s3,x3) & n_size(x2) & a_same(s2) & Theme(s2,x2) & n_onion(x1) & a_medium(s1) & Theme(s1,x1) & (x1 = x2) & as(x2,x3))