Two children lie on puffy benches at a museum while four adults look on.
Four children and two adults are looking at museum exhibits.
Two is less than four by two.
exists e1 p1 x1 x2 x3 x4.(exists e2 p2 x5.(exists s1.(Theme(s1,x5) & a_on(s1)) & Topic(e2,p2) & Actor(e2,x5) & v_look(e2) & n_adult(x5) & card_eq_4(x5)) & while(e1,p1) & at(e1,x4) & n_museum(x4) & on(e1,x2) & n_bench(x2) & of(x2,x3) & n_puffy(x3) & Actor(e1,x1) & v_lie(e1) & n_child(x1) & card_eq_2(x1))
exists e1 x1 x2 x3 x4 x5.(at(e1,x4) & n_exhibit(x4) & of(x4,x5) & n_museum(x5) & Actor(e1,x1) & v_look(e1) & subset_of(x3,x1) & n_adult(x3) & card_eq_2(x3) & subset_of(x2,x1) & n_child(x2) & card_eq_4(x2))