A silver statue of men on bikes.
The statue is an honor to Lance Armstrong.
Sentence 1 is missing Lance Armstrong.
exists s1 x1 x2 x3.(a_topic(x1) & of(x1,x2) & on(x2,x3) & n_bike(x3) & n_man(x2) & n_statue(x1) & a_silver(s1) & Theme(s1,x1))
exists p1 x1 x3 x4.(ne_geo_armstrong(x3) & (x3 = x4) & ne_geo_lance(x4) & n_statue(x1) & exists x2.((x1 = x2) & to(x2,x3) & n_honor(x2)))