A crowded busy dock with people standing next to a freight car either loading or unloading it.aa.
There are ships unloading the freight on to the docks.
Just because freight cars are being unloaded does not mean that there are also ships unloading.
exists s1 s2 x1 x2.(a_topic(x1) & with(x1,x2) & (exists e1 x3 x4 x5.(to(e1,x4) & n_car(x4) & of(x4,x5) & n_freight(x5) & r_next(e1) & Actor(e1,x3) & v_stand(e1) & (x2 = x3)) | exists e2 x6 x7.(Theme(e2,x7) & Actor(e2,x6) & v_load(e2) & n_it.aa(x7) & (x2 = x6)) | exists e3 x8 x9.(Theme(e3,x9) & Actor(e3,x8) & v_unload(e3) & n_it.aa(x9) & (x2 = x8))) & n_people(x2) & n_dock(x1) & a_busy(s2) & Theme(s2,x1) & a_crowded(s1) & Theme(s1,x1))
exists p1 x1 x4 x5.(n_dock(x5) & n_freight(x4) & exists e1 s1 x2 x3.((x1 = x2) & to(e1,x5) & a_on(s1) & Manner(e1,s1) & Theme(e1,x4) & Actor(e1,x3) & v_unload(e1) & (x2 = x3) & n_ship(x2)))