Two little boys are racing each other while a little girl watches them.
Two brothers are racing each other on their bikes.
two little boys do not imply they are brothers and racing does not mean they are racing on their bikes
exists s1 x1.(all x2.(n_other(x2) -> exists e1 p1.(exists e2 s2 x3.(Theme(e2,x1) & Actor(e2,x3) & v_watch(e2) & n_girl(x3) & a_little(s2) & Theme(s2,x3)) & while(e1,p1) & Theme(e1,x2) & Actor(e1,x1) & v_race(e1))) & n_thing(x1) & n_boy(x1) & a_little(s1) & Theme(s1,x1) & card_eq_2(x1))
exists x1 x3.(all x2.(n_other(x2) -> exists e1.(on(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_race(e1))) & n_bike(x3) & of(x3,x1) & n_thing(x1) & n_brother(x1) & card_eq_2(x1))