Everybody in Emma's family who upgrade to the newest iPhone model every year, are not saving money for a down payment on a new house.
∀x (InEmmasFamily(x) ∧ UpgradeToEveryYear(x, newestIphoneModel) → ¬SavingMoneyForOn(x, downPayment, newHouse))