Cost(gRE, 205) ∧ Cheaper(205, 300)
∀x (ApplicantOf(x, gre) ∧ Prove(x, economicHardship) → ProvideTo(ets, financialAid, x))
∀x (LivingIn(x, singleParentFamily) ∨ AvailableTo(fewResources, x) → Prove(x, economicHardship))
LivingIn(tom, singleParentFamily)
OutOfWork(tomsDad) ∧ AvailableTo(fewResources, tom)
ApplicantOf(tom, gre)
Cost(gRE, x) ∧ Cheaper(x, 300)