Two men, one wearing a teal shirt and shin guards lay horizontally on logs with their backpacks in sight.
The two men are tired.
Laying on logs does not imply they are tired.
exists e1 e2 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10.(a_horizontally(s2) & Manner(e2,s2) & on(e2,x8) & with(x8,x9) & in(x9,x10) & n_sight(x10) & n_backpack(x9) & of(x9,x1) & n_thing(x1) & n_log(x8) & Actor(e2,x1) & v_lay(e2) & rel(x1,x2) & subset_of(x6,x2) & n_guard(x6) & of(x6,x7) & n_shin(x7) & subset_of(x3,x2) & Theme(e1,x5) & Actor(e1,x4) & v_wear(e1) & n_shirt(x5) & a_teal(s1) & Theme(s1,x5) & (x3 = x4) & n_thing(x3) & card_eq_1(x3) & n_man(x1) & card_eq_2(x1))
exists e1 x1.(n_man(x1) & card_eq_2(x1) & Theme(e1,x1) & v_tire(e1))