∀x (In(x, aILab) ∧ Attended(x, aCL) → ¬AuthorOf(x, aILabPaper))
∀x (In(x, aILab) ∧ GraduateStudent(x) → Author(x, aILabPaper))
∀x (In(x, aILab) ∧ Doing(x, nLPResearch) → GraduateStudent(x))
∀x (In(x, aILab) ∧ PhDStudent(x) ∧ Took(x, appliedLinguisticsCourse) → Doing(x, nLPResearch))
In(paul, aILab)
Doing(paul, nLPResearch) ⊕ AttendedACL(paul) → ¬AuthorOf(paul, aILabPaper)
GraduateStudent(paul)