Cheerleaders are practicing pyramid routines.
The cheerleaders are practicing for the big competition.
Cheerleaders are practicing pyramid routines does not imply that they are practicing for the big competition.
exists e1 s1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_practice(e1) & n_routine(x2) & a_pyramid(s1) & Theme(s1,x2) & n_cheerleader(x1))
exists e1 s1 x1 x2.(n_competition(x2) & a_big(s1) & Theme(s1,x2) & n_cheerleader(x1) & for(e1,x2) & Actor(e1,x1) & v_practice(e1))