Two children, an older boy and a younger girl, are walking down a sidewalk wearing their winter coats.
Their coats rebuke the air as these two children take a stroll
We know that these children's coats are warm coats, as Sentence 1 states that they are winter coats, yet Sentence 2 tells us that their coats rebuke the air, indicating that they prevent the children from getting cold.
exists e2 e1 s1 s2 s3 x1 x2 x3 x4 x5 x6 x7 x8.(for(e1,e2) & Theme(e2,x7) & Actor(e2,x1) & v_wear(e2) & n_coat(x7) & of(x7,x8) & n_winter(x8) & of(x7,x2) & n_thing(x2) & a_down(s3) & Manner(e1,s3) & Theme(e1,x6) & Actor(e1,x1) & v_walk(e1) & n_sidewalk(x6) & subset_of(x3,x1) & subset_of(x5,x3) & n_girl(x5) & r_more(s2) & a_younger(s2) & Theme(s2,x5) & subset_of(x4,x3) & n_boy(x4) & r_more(s1) & a_older(s1) & Theme(s1,x4) & subset_of(x2,x1) & n_child(x2) & card_eq_2(x2))
exists e1 p1 x1 x2 x3 x4.(n_child(x4) & card_eq_2(x4) & n_air(x3) & n_coat(x2) & of(x2,x1) & n_thing(x1) & exists e2 x5.(Theme(e2,x5) & Actor(e2,x4) & v_take(e2) & n_stroll(x5)) & as(e1,p1) & Theme(e1,x3) & Actor(e1,x2) & v_rebuke(e1))