A woman stopped in the middle of the street with her yoga mat placed over her shoulder.
A woman just finished her yoga class.
the fact the woman is stopped in the middle of the street with her yoga mat placed over her shoulder does not infer she just finished her yoga class. For example, she could be heading to the class
exists e2 e1 x1 x2 x3 x4 x5 x6 x7.(n_shoulder(x7) & of(x7,x2) & n_female(x2) & n_female(x2) & n_mat(x4) & of(x4,x5) & n_yoga(x5) & of(x4,x2) & n_street(x3) & n_middle(x2) & with(e1,x4) & over(e2,x7) & Theme(e2,x6) & v_place(e2) & (x4 = x6) & in(e1,x2) & of(x2,x3) & Actor(e1,x1) & v_stop(e1) & n_woman(x1))
exists e1 s1 x1 x2 x3.(a_just(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_finish(e1) & n_class(x2) & of(x2,x3) & n_yoga(x3) & of(x2,x1) & n_female(x1) & n_woman(x1))