Here are two men who appear to be practicing martial arts.
Men practice karate.
Just because the men are practicing martial arts does not mean they practice karate.
exists e1 p1 s1 x1 x2.(Theme(s1,x1) & a_here(s1) & Topic(e1,p1) & Actor(e1,x2) & v_appear(e1) & exists e2 s2 x3.(Theme(e2,x3) & Actor(e2,x2) & v_practice(e2) & n_art(x3) & a_martial(s2) & Theme(s2,x3)) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists s1 x1 x2 x3.(n_karate(x1) & a_.(s1) & Theme(s1,x1) & of(x1,x3) & n_practice(x3) & of(x1,x2) & n_man(x2) & a_topic(x1))