Bride wearing her wedding dress receives help by her bridesmaids wearing red dresses.
The bridesmaids' dresses all match.
If all the bridesmaids dresses match each other, then all their dresses must be red.
exists e3 e1 e2 s1 x1 x2 x3 x4 x5 x6.(ne_nam_bride(x1) & for(e2,e3) & Theme(e3,x5) & Actor(e3,x1) & v_wear(e3) & n_dress(x5) & n_dress(x5) & of(x5,x6) & n_wedding(x6) & of(x5,x2) & n_female(x2) & n_female(x2) & Theme(e2,x2) & Actor(e2,x1) & v_receive(e2) & by(x2,x3) & Theme(e1,x5) & Actor(e1,x4) & v_wear(e1) & a_red(s1) & Theme(s1,x5) & (x3 = x4) & n_bridesmaid(x3) & of(x3,x2) & n_help(x2))
exists x1 x2 x3.(n_match(x2) & of(x2,x3) & n_dress(x3) & of(x2,x1) & n_bridesmaid(x1) & a_topic(x2))