Three dogs trot down the beach.
There is more than one animal outside.
Three is more than one. If they are trotting down the beach, they are outside.
exists e1 x1 x2.(n_beach(x2) & down(e1,x2) & Actor(e1,x1) & v_trot(e1) & n_dog(x1) & card_eq_3(x1))
exists p1 x1 s1 x2 x3 x4.((x1 = x2) & than(s1,x4) & card_eq_1(x4) & Theme(s1,x2) & a_more(s1) & n_outside(x2) & of(x2,x3) & n_animal(x3))