Two girls are walking along the street and talking.
The girls have legs.
The fact that the girls are walking implies they both have working legs.
exists e2 e1 x1 x2 x3.(n_street(x2) & Actor(e2,x3) & v_talking(e2) & n_girl(x3) & card_eq_2(x3) & along(e1,x2) & Actor(e1,x1) & v_walk(e1) & n_girl(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_girl(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_leg(x2))