A guy sitting at a desk talking on a phone with books laying everywhere.
A man talks on the phone at the library.
Just because a guy sitting at a desk talking on a phone with books doesn't mean he is talks on the phone at the library.
exists e1 e3 e2 x1 x2 x3 x4 x5 x6 x7.(a_topic(x1) & at(e1,x3) & with(e2,x6) & all x8.(n_location(x8) -> Location(e3,x8)) & Actor(e3,x7) & v_lay(e3) & (x6 = x7) & n_book(x6) & on(e2,x5) & n_phone(x5) & Actor(e2,x4) & v_talk(e2) & (x3 = x4) & n_desk(x3) & Actor(e1,x2) & v_sit(e1) & (x1 = x2) & n_guy(x1))
exists x1 x2 x3 x4.(n_library(x4) & n_phone(x3) & a_topic(x1) & on(x1,x3) & at(x3,x4) & n_talk(x1) & of(x1,x2) & n_man(x2))