Funky bicycle being raced
The funky bicycle is in the repair shop.
A bicycle cannot be raced while in the repair shop.
exists e1 s1 x1 x2.(a_topic(x1) & Theme(e1,x2) & v_race(e1) & (x1 = x2) & n_bicycle(x1) & a_funky(s1) & Theme(s1,x1))
exists p1 s1 x1 x2 x3.(n_shop(x2) & of(x2,x3) & n_repair(x3) & n_bicycle(x1) & a_funky(s1) & Theme(s1,x1) & in(x1,x2))