∀x ((Student(x) ∧ Affiliated(x, yaleSchoolOfManagement)) → (PartTime(x) ⊕ FullTime(x))
∀x ((Student(x) ∧ Affiliated(x, yaleSchoolOfManagement) ∧ FullTime(x)) → (∃y(¬LessThan(y, num2) ∧ TakesCourses(x,y))
∀x ((Student(x) ∧ Affiliated(x, yaleSchoolOfManagement) ∧ Owns(x, startUp)) → (∃y(LessThan(y, num2) ∧ TakesCourses(x,y))
∀x ((Student(x) ∧ Affiliated(x, yaleSchoolOfManagement) ∧ ForbesList(x)) → Owns(x, startUp))
Student(jackie) ∧ Affiliated(jackie, yaleSchoolOfManagement) ∧ (∃y(LessThan(y, num2) ∧ TakesCourses(x,y))) ∨ ForbesList(jackie))
PartTime(jackie) ∧ (∃y (LessThan(y, num2) ∧ TakesCourses(x,y))