An older, somewhat obese man with no shirt and a tattoo is looking out from the porch of his house while a cat sits on the steps below.
The cat is sleeping on the sofa.
The cat cannot be sleeping and sit simultaneously
exists e1 p1 s1 s2 s3 s4 x1 x2 x3 x4 x5 x8.(n_step(x8) & n_house(x5) & of(x5,x4) & n_male(x4) & n_porch(x4) & exists e2 x7.(on(e2,x8) & r_below(x8) & Actor(e2,x7) & v_sit(e2) & n_cat(x7)) & while(e1,p1) & a_out(s4) & Manner(e1,s4) & from(e1,x4) & of(x4,x5) & Actor(e1,x1) & v_look(e1) & with(x1,x2) & subset_of(x3,x2) & n_tattoo(x3) & -exists x6.(subset_of(x6,x2) & n_shirt(x6)) & n_man(x1) & a_obese(s3) & Theme(s3,x1) & r_somewhat(x1) & a_,(s2) & Theme(s2,x1) & r_more(s1) & a_older(s1) & Theme(s1,x1))
exists e1 x1 x2.(n_sofa(x2) & n_cat(x1) & on(e1,x2) & Actor(e1,x1) & v_sleep(e1))