If people in Franny's family drink Coca-Cola or another Pepsi product every day, then they have to visit the dentist frequently.
∀x (In(x, frannysFamily)) ∧ (∃y (Drink(x, cocaCola) ∨ (PepsiProduct(y) ∧ Drink(x, y)))) → HaveToVisitFrequently(x, dentist))