This family is having dinner.
The family is eating.
If they are having dinner, then they are eating.
exists e1 x1 x2.(n_family(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_dinner(x2))
exists e1 x1.(n_family(x1) & Actor(e1,x1) & v_eat(e1))