There is a man with a red hat on his hand.
There is a man with a hat on his hand.
A red hat is a kind of hat.
exists p1 x1 s1 x2 x3 x4.((x1 = x2) & with(x2,x3) & on(x3,x4) & n_hand(x4) & of(x4,x2) & n_male(x2) & n_hat(x3) & a_red(s1) & Theme(s1,x3) & n_man(x2))
exists p1 x1 x2 x3 x4.((x1 = x2) & with(x2,x3) & on(x3,x4) & n_hand(x4) & of(x4,x2) & n_male(x2) & n_hat(x3) & n_man(x2))