A paintball team shoots
A man fire a rocket launcher
There needs to be more than one man on a team.
exists x1 x2 x3.(a_topic(x1) & n_shoot(x1) & of(x1,x3) & n_team(x3) & of(x1,x2) & n_paintball(x2))
all x1 x2.((n_launcher(x1) & of(x1,x2) & n_rocket(x2)) -> exists x3 x4.(a_topic(x3) & for(x3,x1) & n_fire(x3) & of(x3,x4) & n_man(x4)))