 If we assume that indefinites are existential quantifiers, then the analysis of  (2)  is easy. It simply says that there exists an \(x\) that is a student, that met Mary yesterday and that needed her help then. In predicate logic: