A climber in an orange helmet is ascending attached to a rope whilst climbing a rock face.
The climber is with three other people.
The climber is not imply to be with three other people.
exists e1 p1 x1 x2 x3.(exists e3 e2 x4 x5 x6 x7 x8.(to(e2,x4) & Theme(e3,x7) & Actor(e3,x6) & v_climb(e3) & n_face(x7) & of(x7,x8) & n_rock(x8) & (x4 = x6) & n_whilst(x4) & of(x4,x5) & n_rope(x5) & Theme(e2,x1) & v_attach(e2)) & Topic(e1,p1) & Actor(e1,x1) & v_ascend(e1) & in(x1,x2) & n_helmet(x2) & of(x2,x3) & n_orange(x3) & n_climber(x1))
exists p1 x1 x3.(n_people(x3) & n_climber(x1) & exists x2.(with(x1,x2) & -(x2 = x3) & n_people(x2) & card_eq_3(x2)))