Two children in bed sleeping.
Two children are dreaming about Santa Claus
The fact that the children are sleeping does not necessarily imply they are dreaming about Santa Claus.
exists x1 x2 x3.(a_topic(x1) & in(x1,x2) & n_sleeping(x2) & of(x2,x3) & n_bed(x3) & n_child(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(ne_geo_claus(x2) & (x2 = x3) & ne_geo_santa(x3) & about(e1,x2) & Actor(e1,x1) & v_dream(e1) & n_child(x1) & card_eq_2(x1))