Two women are conversing as they walk down the street.
The women are walking outside.
If the women walk down the street, they are walking outside.
exists e1 p1 x1 x2.(n_street(x2) & exists e2.(down(e2,x2) & Actor(e2,x1) & v_walk(e2)) & n_thing(x1) & as(e1,p1) & Actor(e1,x1) & v_converse(e1) & n_woman(x1) & card_eq_2(x1))
exists e1 s1 x1.(n_woman(x1) & a_outside(s1) & Manner(e1,s1) & Actor(e1,x1) & v_walk(e1))