Six huskies are pulling a three wheeled vehicle through the grass.
Seven cats pulling a wheeled vehicle into the garage .
There can either be six huskies or seven cats pulling the vehicle. The vehicle cannot be simultaneously pulled into the garage and through the grass.
exists e2 e1 x1 x2 x3.(n_grass(x3) & through(e2,x3) & Theme(e2,x2) & Actor(e2,x1) & v_pull(e2) & n_vehicle(x2) & Theme(e1,x2) & v_wheel(e1) & card_eq_3(x2) & n_husky(x1) & card_eq_6(x1))
exists e1 p1 x1 x3.(n_garage(x3) & ne_nam_seven(x1) & exists e2 s1 x2.(into(e2,x3) & Theme(e2,x2) & Actor(e2,x1) & v_pull(e2) & n_vehicle(x2) & a_wheeled(s1) & Theme(s1,x2)) & Topic(e1,p1) & Actor(e1,x1) & v_cat(e1))