A man is walking outside with two dogs.
The man and his dogs are at their local PetSmart.
Being at the PetSmart implies that they are inside rather than walking outside.
exists e1 s1 x1 x2.(with(e1,x2) & n_dog(x2) & card_eq_2(x2) & a_outside(s1) & Manner(e1,s1) & Actor(e1,x1) & v_walk(e1) & n_man(x1))
exists p1 s1 x1 x2 x3 x4.(ne_org_petsmart(x4) & a_local(s1) & Theme(s1,x4) & of(x4,x2) & n_thing(x2) & n_dog(x3) & of(x3,x2) & n_male(x2) & n_man(x2) & at(x1,x4) & subset_of(x3,x1) & subset_of(x2,x1))