A man is wearing an Alaska sweatshirt.
The man is not wearing a shirt.
One man is not wearing a shirt while one is wearing an Alaska sweatshirt.
exists e1 x1 x2 x3.(Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_sweatshirt(x2) & (x2 = x3) & ne_org_alaska(x3) & n_man(x1))
exists x1.(n_man(x1) & -exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_shirt(x2)))