A man riding his bike across the bridge that is over the river.
the bike is blue
man riding doesn't necessarily imply the bike is blue
exists e1 p1 x1 x2 x3 x4 x5 x6.(n_river(x6) & n_bridge(x4) & a_topic(x1) & across(e1,x4) & over(x5,x6) & (x4 = x5) & Theme(e1,x3) & Actor(e1,x2) & v_ride(e1) & n_bike(x3) & of(x3,x1) & n_male(x1) & (x1 = x2) & n_man(x1))
exists s1 x1.(n_bike(x1) & Theme(s1,x1) & a_blue(s1))