Two young boys are asleep on a brown carpeted floor.
Two young boys are asleep.
The boys are asleep because they are asleep on a floor.
exists s1 s2 s3 s4 x1 x2.(on(s2,x2) & n_floor(x2) & a_carpeted(s4) & Theme(s4,x2) & a_brown(s3) & Theme(s3,x2) & Theme(s2,x1) & a_asleep(s2) & n_boy(x1) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1))
exists s1 s2 x1.(Theme(s2,x1) & a_asleep(s2) & n_boy(x1) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1))