Craftsman hanging from a rope.
The rope is long.
He can hang from long or short rope
exists x1 x2 x3.(a_topic(x1) & from(x1,x3) & n_rope(x3) & n_hanging(x1) & (x1 = x2) & ne_nam_craftsman(x2))
exists s1 x1.(n_rope(x1) & Theme(s1,x1) & a_long(s1))