3 Children holding their arms up while smiling with a Christmas Tree in the background.
They believe in Santa.
Since the kids are smiling while near the Christmas Tree, they must believe in Santa.
exists e2 e1 s1 x1 x2 x3 x4 x5 x6.(n_background(x4) & a_topic(x1) & while(e1,e2) & with(e2,x5) & ne_org_tree(x5) & (x5 = x6) & ne_org_christmas(x6) & Actor(e2,x2) & v_smile(e2) & in(e1,x4) & a_up(s1) & Manner(e1,s1) & Theme(e1,x3) & Actor(e1,x2) & v_hold(e1) & n_arm(x3) & of(x3,x1) & n_thing(x1) & (x1 = x2) & n_child(x1) & n_date(x1) & a_date_day_03(x1) & a_date_day_03(x1))
exists e1 x1 x2.(ne_geo_santa(x2) & n_thing(x1) & in(e1,x2) & Actor(e1,x1) & v_believe(e1))