Two friends hold trophies.
The pair are part of the state championship team.
Holding trophies does not imply that they are part of the state championship team.
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_hold(e1) & n_trophy(x2) & n_friend(x1) & card_eq_2(x1))
exists p1 x1 x3 x4 x5.(n_team(x3) & of(x3,x5) & n_championship(x5) & of(x3,x4) & n_state(x4) & n_pair(x1) & exists x2.((x1 = x2) & of(x2,x3) & n_part(x2)))