Sitting at a table with beer empty beer mugs on it one brother is has a birthday cake sliced with sprinkler lit up while the younger brother is smiling with his eyes closed.
There are only two people at this birthday party.
The fact that one brother has birthday cake sliced while younger brother is smiling doesn't imply that there are only two people and it is a birthday party.
exists e2 e1 e3 p1 p2 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x13.(Theme(e3,x7) & Actor(e3,e1) & v_have(e3) & exists e5 e4 x14.(with(e4,x13) & Actor(e5,x14) & v_close(e5) & (x13 = x14) & Actor(e4,x6) & v_smile(e4)) & n_eye(x13) & of(x13,x1) & n_male(x1) & n_brother(x6) & n_brother(x6) & r_more(s2) & a_younger(s2) & Theme(s2,x6) & while(e2,p2) & with(e2,x10) & r_up(x10) & n_lit(x10) & of(x10,x11) & n_sprinkler(x11) & Actor(e2,x9) & v_slice(e2) & (x7 = x9) & n_cake(x7) & of(x7,x8) & n_birthday(x8) & at(e1,x2) & with(x2,x3) & exists x12.((x6 = x12) & (x3 = x12)) & card_eq_1(x6) & on(x3,x1) & n_thing(x1) & n_mug(x3) & of(x3,x5) & n_beer(x5) & a_empty(s1) & Theme(s1,x3) & of(x3,x4) & n_beer(x4) & n_table(x2) & Actor(e1,x1) & v_sit(e1))
exists p1 x1 x3 x4.(n_party(x3) & of(x3,x4) & n_birthday(x4) & exists x2.((x1 = x2) & at(x2,x3) & n_people(x2) & card_eq_2(x2) & r_only(x2)))