A young boy swings along side an old wooden building.
The young boy is asleep at home.
Someone who swings along side an old wooden building is not asleep at home.
exists s1 x1 x2.(all s3 x3 s2.((n_building(x3) & a_wooden(s3) & Theme(s3,x3) & a_old(s2) & Theme(s2,x3)) -> exists x4.(a_topic(x1) & along(x1,x4) & for(x4,x3) & n_side(x4))) & n_swing(x1) & of(x1,x2) & n_boy(x2) & a_young(s1) & Theme(s1,x1))
exists s1 s2 x1 x2.(n_boy(x1) & a_young(s1) & Theme(s1,x1) & at(s2,x2) & n_home(x2) & Theme(s2,x1) & a_asleep(s2))