Two little girls play in a yellow inflatable house.
A fully grown cat tries to fit into a very small box.
A fully grown cat is not the same species as little girls.
exists e1 s1 s2 s3 x1 x2.(in(e1,x2) & n_house(x2) & a_inflatable(s3) & Theme(s3,x2) & a_yellow(s2) & Theme(s2,x2) & Actor(e1,x1) & v_play(e1) & n_girl(x1) & a_little(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e2 e1 p1 x1.(Topic(e2,p1) & Actor(e2,x1) & v_try(e2) & exists e3 s1 x2.(into(e3,x2) & n_box(x2) & a_small(s1) & Theme(s1,x2) & r_very(x2) & Actor(e3,x1) & v_fit(e3)) & n_cat(x1) & Theme(e1,x1) & v_grow(e1) & r_fully(x1))