A woman sits with her bags and checks her phone.
The woman looks at her phone.
checks her phone is inferred as looks at her phone.
exists e1 x1 x2 x3 x4 x5.(with(e1,x3) & n_check(x5) & n_bag(x4) & subset_of(x5,x3) & subset_of(x4,x3) & of(x3,x1) & n_female(x1) & n_female(x1) & Theme(e1,x2) & Actor(e1,x1) & v_sit(e1) & n_phone(x2) & of(x2,x1) & n_woman(x1))
exists e1 x1 x2.(n_phone(x2) & of(x2,x1) & n_female(x1) & n_woman(x1) & at(e1,x2) & Actor(e1,x1) & v_look(e1))