Three guys relaxing on basketball court.
The girl sat on the court waiting for her friends.
The girl on the court contradicts with guys (boys) relaxing on the basketball court.
exists e1 x1 x2 x3 x4.(a_topic(x1) & on(e1,x3) & n_court(x3) & of(x3,x4) & n_basketball(x4) & Actor(e1,x2) & v_relax(e1) & (x1 = x2) & n_guy(x1) & card_eq_3(x1))
exists e1 e2 x1 x2 x3.(n_friend(x3) & of(x3,x2) & n_female(x2) & n_court(x2) & n_girl(x1) & for(e1,e2) & for(e2,x3) & Actor(e2,x1) & v_wait(e2) & on(e1,x2) & Actor(e1,x1) & v_sit(e1))