Two young girls in the tree with their dog.
Two young girls in the tree with their parrots.
The girls are in the tree with their dog, they cannot also be in the tree with parrots.
exists s1 x1 x2 x3.(n_dog(x3) & of(x3,x2) & n_thing(x2) & n_tree(x2) & a_topic(x1) & in(x1,x2) & with(x2,x3) & n_girl(x1) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1))
exists s1 x1 x2 x3.(n_parrot(x3) & of(x3,x2) & n_thing(x2) & n_tree(x2) & a_topic(x1) & in(x1,x2) & with(x2,x3) & n_girl(x1) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1))