There is a man and woman working on a bicycle tire.
the couple is fixing their favorite bike
the couple is fixing their bike that doesn't mean that they're fixing their favorite  bike
exists p1 x1 e1 x2 x3 x4 x5 x6 x7.((x1 = x2) & on(e1,x6) & n_tire(x6) & of(x6,x7) & n_bicycle(x7) & Actor(e1,x5) & v_work(e1) & (x2 = x5) & n_woman(x4) & n_man(x3) & subset_of(x4,x2) & subset_of(x3,x2))
exists e1 s1 x1 x2.(n_bike(x2) & a_favorite(s1) & Theme(s1,x2) & of(x2,x1) & n_thing(x1) & n_couple(x1) & Theme(e1,x2) & Actor(e1,x1) & v_fix(e1))