A man carving an elephant while woodworking.
A tall human carving
It cannot be inferred that the man is a tall human.
exists e2 e1 x1 x2 x3.(a_topic(x1) & while(e1,e2) & Actor(e2,x2) & v_woodwork(e2) & Theme(e1,x3) & Actor(e1,x2) & v_carve(e1) & n_elephant(x3) & (x1 = x2) & n_man(x1))
exists s1 s2 x1.(a_topic(x1) & n_carving(x1) & a_human(s2) & Theme(s2,x1) & a_tall(s1) & Theme(s1,x1))