A man is laying on two green air mattresses with one thumb up.
The man is lying down
Laying on two green air mattresses implies that the man is lying down.
exists e1 s1 s2 x1 x2 x3 x4.(a_up(s2) & Manner(e1,s2) & with(e1,x4) & n_thumb(x4) & card_eq_1(x4) & on(e1,x2) & n_mattress(x2) & of(x2,x3) & n_air(x3) & a_green(s1) & Theme(s1,x2) & card_eq_2(x2) & Actor(e1,x1) & v_lay(e1) & n_man(x1))
exists e1 s1 x1.(n_man(x1) & a_down(s1) & Manner(e1,s1) & Actor(e1,x1) & v_lie(e1))