A group of young children in a village with no paved roads.
The kids are sitting in a classroom in the village.
It can't show that there are no paved roads if it only show the inside of a classroom.
exists s1 x1 x2 x3.(-exists s2 x4.(a_topic(x1) & of(x1,x2) & with(x2,x4) & n_road(x4) & a_paved(s2) & Theme(s2,x4)) & in(x2,x3) & n_village(x3) & n_child(x2) & a_young(s1) & Theme(s1,x2) & n_group(x1))
exists e1 x1 x2 x3.(n_village(x3) & n_kid(x1) & in(e1,x3) & in(e1,x2) & n_classroom(x2) & Actor(e1,x1) & v_sit(e1))