Four women are performing a synchronized swimming routine.
The women are competing in the Olympics for synchronized swimming.
Just because the women was performing doesn't mean they are competing for the olympics.
exists e1 s1 x1 x2 x3.(Theme(e1,x2) & Actor(e1,x1) & v_perform(e1) & n_routine(x2) & of(x2,x3) & n_swimming(x3) & a_synchronized(s1) & Theme(s1,x2) & n_woman(x1) & card_eq_4(x1))
exists e1 s1 x1 x2 x3.(n_olympics(x3) & n_woman(x1) & in(e1,x3) & for(e1,x2) & n_swimming(x2) & a_synchronized(s1) & Theme(s1,x2) & Actor(e1,x1) & v_compete(e1))