A man, along with three others, is standing in snowy and cold weather with only green shoes and black shorts on.
Three men are wearing parkas and one is wearing sneakers.
Not all green shoes are sneakers. Not all groups of three men are wearing parkas.
exists e1 s1 s2 s3 s4 s5 x1 x2 x3 x4 x5 x6.(with(e1,x6) & -(x6 = x1) & n_person(x1) & n_person(x6) & card_eq_3(x6) & r_along(e1) & a_on(s5) & Manner(e1,s5) & with(e1,x3) & subset_of(x5,x3) & n_shorts(x5) & a_black(s4) & Theme(s4,x5) & subset_of(x4,x3) & n_shoe(x4) & a_green(s3) & Theme(s3,x4) & r_only(x4) & in(e1,x2) & n_weather(x2) & a_cold(s2) & Theme(s2,x2) & a_snowy(s1) & Theme(s1,x2) & Actor(e1,x1) & v_stand(e1) & n_man(x1))
exists e1 e2 x1 x2 x3 x4.(Theme(e2,x4) & Actor(e2,x3) & v_wear(e2) & n_sneaker(x4) & n_thing(x3) & card_eq_1(x3) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_parka(x2) & n_man(x1) & card_eq_3(x1))