Two elderly men sitting at the hospital.
The elderly men are jogging through the hospital.
You cannot be sitting and jogging at the same time.
exists e1 s1 x1 x2 x3.(n_hospital(x3) & a_topic(x1) & at(e1,x3) & Actor(e1,x2) & v_sit(e1) & (x1 = x2) & n_man(x1) & a_elderly(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 s1 x1 x2.(n_hospital(x2) & n_man(x1) & a_elderly(s1) & Theme(s1,x1) & through(e1,x2) & Actor(e1,x1) & v_jog(e1))