A street which is lined with many motorcycles.
There are many motorcycles on the street
If the street is lined with motorcycles, then the motorcycles need to be on the street.
exists e1 x1 x2 x3.(a_topic(x1) & with(e1,x3) & n_motorcycle(x3) & n_quantity(x3) & Theme(e1,x2) & v_line(e1) & (x1 = x2) & n_street(x1))
exists p1 x1 x3.(n_street(x3) & exists x2.((x1 = x2) & on(x2,x3) & n_motorcycle(x2) & n_quantity(x2)))