Two women share gossip while waiting for a bus.
Two women resting
It would not make sense to infer for the women to be resting since they must wait for the bus.
(x)
exists e1 x1 x2.(a_topic(x1) & Actor(e1,x2) & v_rest(e1) & (x1 = x2) & n_woman(x1) & card_eq_2(x1))