A person in blue climbs up a very tall cliff, attached by red and blue ropes.
The rope is red and blue.
If one rope is red and blue, then it can be inferred that all the ropes are those two colors.
exists e1 s1 s2 s3 s4 x1 x2 x3 x4 x5.(a_topic(x1) & up(x1,x3) & Actor(e1,x5) & n_rope(x5) & a_blue(s4) & Theme(s4,x5) & a_red(s3) & Theme(s3,x5) & Theme(e1,x4) & v_attach(e1) & (x3 = x4) & n_cliff(x3) & a_tall(s2) & Theme(s2,x3) & r_very(x3) & in(x1,x2) & n_climb(x2) & a_blue(s1) & Theme(s1,x2) & n_person(x1))
exists s1 s2 x1.(n_rope(x1) & Theme(s2,x1) & a_blue(s2) & Theme(s1,x1) & a_red(s1))