Two females sparring in martial arts.
The women are fighting each other.
Two females are women who sparring in martial arts means fighting each other.
exists e1 s1 x1 x2 x3.(a_topic(x1) & in(e1,x3) & n_art(x3) & a_martial(s1) & Theme(s1,x3) & Actor(e1,x2) & v_spar(e1) & (x1 = x2) & n_female(x1) & card_eq_2(x1))
exists x1.(n_woman(x1) & all x2.(n_other(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_fight(e1))))