Several white horses, some of which are decorated with green and gold tassels.
Several white horses are decorated with green and gold tassels.
horses are decorated with green and gold tassels implies that they are decorated.
exists e1 s1 s2 s3 s4 x1 x2 x3 x4.(with(e1,x4) & n_tassel(x4) & a_gold(s4) & Theme(s4,x4) & a_green(s3) & Theme(s3,x4) & Theme(e1,x3) & v_decorate(e1) & of(x3,x2) & n_thing(x3) & a_topic(x1) & (x1 = x2) & n_horse(x1) & a_white(s2) & Theme(s2,x1) & a_several(s1) & Theme(s1,x1))
exists e1 s1 s2 s3 s4 x1 x2.(with(e1,x2) & n_tassel(x2) & a_gold(s4) & Theme(s4,x2) & a_green(s3) & Theme(s3,x2) & Theme(e1,x1) & v_decorate(e1) & n_horse(x1) & a_white(s2) & Theme(s2,x1) & a_several(s1) & Theme(s1,x1))