Daniel once applied to Stanford University, but he couldn’t get in even though he has family members who are Stanford alumni.
AppliedTo(daniel, stanfordUniversity) ∧ ¬GotInto(daniel, stanfordUniversity) ∧ Alumni(danielsFamilyMembers, stanfordUniversity)