A competition match between two martial arts fighters.
Two dogs ride around on tricycles
Dogs can't be martial arts fighters and they wouldn't be riding around on tricycles if they were in a competition.
exists s1 x1 x2 x3 x4.(a_topic(x1) & between(x1,x3) & n_fighter(x3) & of(x3,x4) & n_art(x4) & a_martial(s1) & Theme(s1,x3) & card_eq_2(x3) & n_match(x1) & of(x1,x2) & n_competition(x2))
exists e1 s1 x1 x2.(on(e1,x2) & n_tricycle(x2) & a_around(s1) & Manner(e1,s1) & Actor(e1,x1) & v_ride(e1) & n_dog(x1) & card_eq_2(x1))