A man is carrying six wooden logs over his left shoulder while holding another log in his right hand.
A man is carrying seven ladies on his left shoulder.
The man can't be carrying seven ladies and six wooden logs on his left shoulder.
exists e2 e1 s1 s2 s3 x1 x2 x3 x4 x5.(while(e1,e2) & in(e2,x5) & n_hand(x5) & a_right(s3) & Theme(s3,x5) & of(x5,x1) & n_male(x1) & n_male(x1) & Theme(e2,x4) & Actor(e2,x1) & v_hold(e2) & n_log(x4) & -(x4 = x2) & n_log(x2) & n_log(x2) & over(e1,x3) & n_shoulder(x3) & a_left(s2) & Theme(s2,x3) & of(x3,x1) & Theme(e1,x2) & Actor(e1,x1) & v_carry(e1) & a_wooden(s1) & Theme(s1,x2) & card_eq_6(x2) & n_man(x1))
exists e1 s1 x1 x2 x3.(on(e1,x3) & n_shoulder(x3) & a_left(s1) & Theme(s1,x3) & of(x3,x1) & n_male(x1) & Theme(e1,x2) & Actor(e1,x1) & v_carry(e1) & n_lady(x2) & card_eq_7(x2) & n_man(x1))