A young couple, one wearing a blue shirt and the man wearing a red one, are shopping in the frozen food section of Walmart.
Newlyweds are shopping to stock their new kitchen for the first time.
Being a young couple does not necessarily indicate that they are newlyweds. Shopping in the frozen foods section does not necessarily indicate they are stocking their new kitchen for the first time.
exists e1 e3 e2 s1 s2 s3 s4 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11.(ne_geo_walmart(x11) & n_section(x9) & of(x9,x10) & n_food(x10) & a_frozen(s4) & Theme(s4,x9) & n_man(x6) & in(e3,x9) & of(x9,x11) & Actor(e3,x1) & v_shop(e3) & rel(x1,x2) & subset_of(x6,x2) & Theme(e2,x8) & Actor(e2,x7) & v_wear(e2) & n_one(x8) & a_red(s3) & Theme(s3,x8) & (x6 = x7) & subset_of(x3,x2) & Theme(e1,x5) & Actor(e1,x4) & v_wear(e1) & n_shirt(x5) & a_blue(s2) & Theme(s2,x5) & (x3 = x4) & n_thing(x3) & card_eq_1(x3) & n_couple(x1) & a_young(s1) & Theme(s1,x1))
exists e1 s1 s2 s3 s4 x1 x2 x3.(n_time(x3) & a_first(s4) & Theme(s4,x3) & for(e1,x3) & to(e1,x2) & n_kitchen(x2) & a_new(s3) & Theme(s3,x2) & a_their(s2) & Theme(s2,x2) & a_stock(s1) & Theme(s1,x2) & Actor(e1,x1) & v_shop(e1) & n_newlywed(x1))