Telephone wires are visible.
You can see telephone lines in the sky.
By being able to see telephone lines, you know that they are visible.
exists s1 x1 x2.(Theme(s1,x1) & a_visible(s1) & n_wire(x1) & (x1 = x2) & ne_nam_telephone(x2))
exists e1 p1 x1 x4.(n_sky(x4) & n_person(x1) & exists e2 x2 x3.(Theme(e2,x2) & Actor(e2,x1) & v_see(e2) & in(x2,x4) & n_line(x2) & of(x2,x3) & n_telephone(x3)) & Topic(e1,p1) & Actor(e1,x1) & v_can(e1))