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.
A pair of brothers celebrate their birthdays together.
The fact that one brother has birthday cake sliced while younger brother is smiling doesn't imply that a pair of brothers celebrate their birthday together.
exists e1 e2 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 e4 e5 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 e1 s1 x1 x2 x3.(a_together(s1) & Manner(e1,s1) & Theme(e1,x3) & Actor(e1,x1) & v_celebrate(e1) & n_birthday(x3) & of(x3,x1) & n_thing(x1) & of(x1,x2) & n_brother(x2) & n_pair(x1))