A man and a boy fix a blue bicycle.
Two people fix a bike.
A blue bicycle and a bike are similar.
exists s1 x1.(a_topic(s1) & all x2 s2.((n_bicycle(x2) & a_blue(s2) & Theme(s2,x2)) -> exists x3 x4.(subset_of(x3,s1) & for(x3,x2) & n_fix(x3) & of(x3,x4) & n_boy(x4))) & subset_of(x1,s1) & n_man(x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_fix(e1) & n_bike(x2) & n_people(x1) & card_eq_2(x1))