Four boys are in the living room talking.
There are boys sitting on the floor talking.
You can not infer he is sitting.
exists p1 x1 x2 x3.(n_room(x2) & of(x2,x3) & n_living(x3) & exists e1 x4.(in(x1,x2) & Actor(e1,x4) & v_talk(e1) & (x2 = x4)) & n_boy(x1) & card_eq_4(x1))
exists p1 x1 x4.(n_floor(x4) & exists e1 e2 x2 x3.((x1 = x2) & for(e1,e2) & Actor(e2,x3) & v_talking(e2) & on(e1,x4) & Actor(e1,x3) & v_sit(e1) & (x2 = x3) & n_boy(x2)))