The horse and rider are both on the ground at the rodeo.
The horse and rider are doing tricks while at the rodeo.
The horse and rider that are both on the ground cannot be the ones doing trick.
exists p1 s1 x1 x2 x3 x4 x5.(n_rodeo(x4) & n_ground(x5) & n_rider(x3) & n_horse(x2) & subset_of(x3,x1) & subset_of(x2,x1) & at(p1,x4) & a_both(s1) & Manner(p1,s1) & on(x1,x5))
exists e1 x1 x2 x3 x4 x5.(n_rodeo(x5) & n_rider(x3) & n_horse(x2) & subset_of(x3,x1) & subset_of(x2,x1) & at(e1,x5) & r_while(e1) & Theme(e1,x4) & Actor(e1,x1) & v_do(e1) & n_trick(x4))