A Jewish family joins for dinner on a sunday to worship.
A family is not eating anything and it is saturday.
If people are not eating, they are not joining together for dinner, and Saturday and Sunday are different days.
exists e1 s1 x1 x2 x3 x4.(for(e1,x2) & to(x2,x4) & n_worship(x4) & on(x2,x3) & n_sunday(x3) & n_dinner(x2) & Actor(e1,x1) & v_join(e1) & n_family(x1) & a_jewish(s1) & Theme(s1,x1))
exists s1 x1.(Theme(s1,x1) & a_saturday(s1) & n_thing(x1) & -all x2.(n_thing(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_eat(e1))) & n_family(x1))