Couple sleep on subway line sitting next to each other.
The couple is tired from their travels
Not all couples are tired from travels.
exists e1 x1 x2 x3 x4 x5.(a_topic(x1) & on(x1,x3) & all x6.(n_other(x6) -> to(e1,x6)) & r_next(e1) & Actor(e1,x5) & v_sit(e1) & (x3 = x5) & n_line(x3) & of(x3,x4) & n_subway(x4) & n_sleep(x1) & of(x1,x2) & n_couple(x2))
exists e1 x1 x2.(n_travels(x2) & of(x2,x1) & n_thing(x1) & n_couple(x1) & from(e1,x2) & Theme(e1,x1) & v_tire(e1))