Family of five visiting petting zoo with father holding son, while mother watches over other two children.
Family of five is at the movies.
The family of five cannot be simultaneously at the movies and visiting the petting zoo.
exists p1 s1 x8.(n_child(x8) & card_eq_2(x8) & ne_tim_family(s1) & a_topic(s1) & exists e2 e1 x1 x2 x3 x4 x5 x6 x7.(while(e2,x5) & over(x5,x7) & -(x7 = x8) & n_child(x7) & card_eq_2(x7) & n_watch(x5) & of(x5,x6) & n_mother(x6) & Theme(e2,x4) & Actor(e2,x3) & v_hold(e2) & n_son(x4) & with(e1,x3) & n_father(x3) & Theme(e1,x2) & Actor(e1,x1) & v_pet(e1) & n_zoo(x2) & n_visit(x1) & card_eq_5(x1)) & of(s1,p1))
exists p1 x1 x2 x3.(n_movie(x3) & ne_nam_family(x1) & at(x1,x3) & of(x1,x2) & n_thing(x2) & card_eq_5(x2))