The lady at the gym is lifting weights.
The lady at the gym is getting swol.
The lady at the gym is lifting weights does not indicate that she is getting swol.
exists e1 x1 x2 x3.(n_gym(x2) & n_lady(x1) & Theme(e1,x3) & Actor(e1,x1) & v_lift(e1) & n_weight(x3) & at(x1,x2))
exists e1 x1 x2 x3.(n_gym(x2) & n_lady(x1) & Theme(e1,x3) & Actor(e1,x1) & v_get(e1) & n_swol(x3) & at(x1,x2))