Two martial artists spar while a referee wearing a tie looks on.
The two sparring are female.
The fact that two martial artists spar doesn't imply that they are female.
exists e1 p1 s1 x1.(exists e3 e2 p2 x2 x3 x4.(exists s2.(Theme(s2,x2) & a_on(s2)) & Topic(e3,p2) & Actor(e3,x2) & v_look(e3) & Theme(e2,x4) & Actor(e2,x3) & v_wear(e2) & n_tie(x4) & (x2 = x3) & n_referee(x2)) & while(e1,p1) & Actor(e1,x1) & v_spar(e1) & n_artist(x1) & a_martial(s1) & Theme(s1,x1) & card_eq_2(x1))
exists s1 x1.(n_sparring(x1) & card_eq_2(x1) & Theme(s1,x1) & a_female(s1))